Group: Context-driven-testers - with tag specification-based-testing [5 articles] Export Sort

Recent papers posted by members of the Context-driven-testers group with tag specification-based-testing

Hide details

	Case studies on fault detection effectiveness of model based test generation techniques [My Copy] In A-MOST '05: Proceedings of the 1st international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7. by Amit Paradkar posted to testing test-case-generation specification-based-testing softnet model-based-testing case-study by sjgaller to the group Context-driven-testers on 2007-09-21 08:25:31 as along with 2 people and 2 groups jsj8444 jolilius TUCS-ES_Lab Desgin-by-Contract
	Generalized Symbolic Execution for Model Checking and Testing [My Copy] Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings In Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings, Vol. 2619/2003 (19 February 2003), pp. 553-568. by Sarfraz Khurshid, Corina S. Pasareanu posted to testing symbolic-execution specification-based-testing specification softnet model-checker by sjgaller to the group Context-driven-testers on 2007-08-13 12:53:34 as along with 2 people and 1 group bfraser nigno Desgin-by-Contract
	Online testing with model programs [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 273-282. by Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann posted to testing spec-sharp specification-based-testing softnet games finite-state-machine by sjgaller to the group Context-driven-testers on 2007-08-10 09:55:32 as along with 1 group Desgin-by-Contract
	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer [My Copy] (May 2005) by Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes posted to tools testing spec-sharp specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-08-10 09:47:37 as along with 1 person and 1 group prahlad Desgin-by-Contract
	Approaches to Specification-Based Testing [My Copy] In Symposium on Testing, Analysis, and Verification (1989), pp. 86-96. by Debra J. Richardson, Owen T. O'Malley, C. Tittle posted to specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-06-12 13:23:33 as along with 2 people and 1 group statistic01 mishra_satish Desgin-by-Contract

Note: You may cite this page as: http://www.citeulike.org/group/162/tag/specification-based-testing

Related Tags

Tags related to: specification-based-testing

Filter:

Privacy Statement | Terms & Conditions