Christoph Zehentner's Top Recommendations

These recommendations were last updated 42 minutes ago.

	Automated test data generation using an iterative relaxation method [My Copy] In SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering (1998), pp. 231-244. by Neelam Gupta, Aditya P. Mathur, Mary L. Soffa posted by 2 people pfrancis sjgaller
	Experimental assessment of random testing for object-oriented software [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 84-94. by Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer posted by 2 people pfrancis sjgaller
	Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests [My Copy] In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering (2004), pp. 196-205. by Tao Xie, Darko Marinov, David Notkin posted by 4 people pfrancis sjgaller Context-driven-testers Desgin-by-Contract
	Tool-assisted unit test selection based on operational violations [My Copy] Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 40-48. by Tao Xie, D. Notkin posted by 4 people pfrancis sjgaller Context-driven-testers Desgin-by-Contract
	An automated framework for structural test-data generation [My Copy] Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on In Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on (1998), pp. 285-288. by N. Tracey, J. Clark, K. Mander, J. Mcdermid posted by 3 people statistic01 joaoarthurbm sjgaller
	Automated software test data generation [My Copy] Transactions on Software Engineering In Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879. by B. Korel posted by 4 people mishra_satish sjgaller lcigler joaoarthurbm
	Automated Software Test Data Generation for Complex Programs [My Copy] In ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering (1998) by C. Michael, G. Mcgraw posted by 4 people sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm
	Constraint-Based Automatic Test Data Generation [My Copy] IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910. by Richard A. Demillo, Jefferson A. Offutt posted by 5 people sjgaller lcigler Context-driven-testers Desgin-by-Contract joaoarthurbm
	Automatically Generating System Mock Objects [My Copy] In Proceedings of XP Universe (July 2001) by Asim Jalis, Lance Kind posted by 4 people sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm
	Parameterized unit tests [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. 253-262. by Nikolai Tillmann, Wolfram Schulte posted by 6 people coolcapri sjgaller Context-driven-testers Desgin-by-Contract jweslley joaoarthurbm
	Using Test Oracles Generated from Program Documentation [My Copy] Software Engineering, Vol. 24, No. 3. (1998), pp. 161-173. by Dennis K. Peters, David L. Parnas posted by 4 people sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm
	An informal formal method for systematic JUnit test case generation [My Copy] (2002) by P. Stotts, M. Lindsey, A. Antley posted by 5 people statistic01 sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm
	Korat: Automated testing based on Java predicates [My Copy] In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 22--24, 2002 (2002) by C. Boyapati, S. Khurshid, D. Marinov posted by 6 people software testing sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm newdawn
	An automatic test case generator derived from state-based testing [My Copy] Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific (1998), pp. 270-277. by Bor-Yuan Tsai, S. Stobart, N. Parrington, I. Mitchell posted by 4 people sjgaller Context-driven-testers Desgin-by-Contract joaoarthurbm
	Combining test case generation and runtime verification [My Copy] Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234. by Cyrille Artho, Howard Barringer, Allen Goldberg, et al.Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington posted by 9 people mzp newdawn jolilius sjgaller lcigler Context-driven-testers TUCS-ES_Lab Desgin-by-Contract joaoarthurbm
	JCrasher: an automatic robustness tester for Java [My Copy] Softw. Pract. Exper., Vol. 34, No. 11. (September 2004), pp. 1025-1050. by Christoph Csallner, Yannis Smaragdakis posted by 3 people pfrancis joaoarthurbm newdawn
	Automated test data generation for aspect-oriented programs [My Copy] In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development (2009), pp. 185-196. by Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler posted by 1 person sjgaller
	Automated Test Data Generation using Search Based Software Engineering [My Copy] In AST '07: Proceedings of the Second International Workshop on Automation of Software Test (2007), 2. by Mark Harman posted by 1 person sjgaller
	Play to Test [My Copy] Formal Approaches to Software Testing (2006), pp. 32-46. by Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes posted by 1 person sjgaller
	PKorat: Parallel Generation of Structurally Complex Test Inputs [My Copy] Software Testing Verification and Validation, 2009. ICST '09. International Conference on In Software Testing Verification and Validation, 2009. ICST '09. International Conference on (2009), pp. 250-259. by J. H. Siddiqui, S. Khurshid posted by 1 person sjgaller
	Trade-offs in planner representation for automated software testing [My Copy] Aerospace Conference, 1999. Proceedings. 1999 IEEE In Aerospace Conference, 1999. Proceedings. 1999 IEEE, Vol. 5 (1999), pp. 83-92 vol.5. by A. von Mayhauser, M. Scheetz, E. Dahlman, A. E. Howe posted by 1 person sjgaller
	Generating test-cases from an object-oriented model with an artifical-intelligence planning system [My Copy] Reliability, IEEE Transactions on In Reliability, IEEE Transactions on, Vol. 49, No. 1. (2000), pp. 26-36. by A. Von Mayrhauser, R. France, M. Scheetz, E. Dahlman posted by 1 person sjgaller
	AI Planner Assisted Test Generation [My Copy] Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 225-259. by Amschler, Chunhui Zhu, Michael Scheetz, Eric Dahlman, Adele E. Howe posted by 1 person sjgaller
	Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution [My Copy] Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 297-306. by K. Inkumsah, Tao Xie posted by 1 person sjgaller
	Random Test Run Length and Effectiveness [My Copy] Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 19-28. by J. H. Andrews, A. Groce, M. Weston, Ru-Gang Xu posted by 1 person sjgaller
	Supporting design patterns with annotations [My Copy] Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445. by K. Meffert posted by 2 people Desgin-by-Contract sjgaller
	Obtaining the Inverse Distance Map from a Non-SVP Hyperbolic Catadioptric Robotic Vision System [My Copy] RoboCup 2007: Robot Soccer World Cup XI (2008), pp. 417-424. by Bernardo Cunha, José Azevedo, Nuno Lau, Luis Almeida posted by 1 person sjgaller
	A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots [My Copy] New Frontiers in Applied Artificial Intelligence (2008), pp. 541-550. by Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa posted by 1 person sjgaller
	Challenges in Satisfiability Modulo Theories [My Copy] Term Rewriting and Applications (2007), pp. 2-18. by Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio posted by 1 person sjgaller
	Sufficient mutation operators for measuring test effectiveness [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 351-360. by Akbar S. Namin, James H. Andrews, Duncan J. Murdoch posted by 1 person sjgaller
	Nighthawk: a two-level genetic-random unit test data generator [My Copy] In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 144-153. by James H. Andrews, Felix C. H. Li, Tim Menzies posted by 1 person sjgaller
	Directed test generation using symbolic grammars [My Copy] In ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering (2007), pp. 553-556. by Rupak Majumdar, Ru G. Xu posted by 1 person sjgaller
	MuJava: an automated class mutation system: Research Articles [My Copy] Softw. Test. Verif. Reliab., Vol. 15, No. 2. (2005), pp. 97-133. by Yu S. Ma, Jeff Offutt, Yong R. Kwon posted by 1 person sjgaller
	A JML Compiler Based on AspectJ [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 541-544. by H. Rebelo, R. Lima, M. Cornelio, S. Soares posted by 1 person sjgaller
	Model-Based Testing of Automotive Systems [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 485-493. by E. Bringmann, A. Kramer posted by 1 person sjgaller
	Contract-Based Verification for Aspect-Oriented Refactoring [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 180-189. by N. Ubayashi, Jinji Piao, S. Shinotsuka, T. University posted by 1 person sjgaller
	On the Predictability of Random Tests for Object-Oriented Software [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 72-81. by I. Ciupa, A. Pretschner, A. Leitner, M. Oriol, B. Meyer posted by 1 person sjgaller
	Evaluating Automated Unit Testing in Sulu [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 62-71. by R. P. Tan, S. Edwards posted by 1 person sjgaller
	Too darned big to test [My Copy] Queue, Vol. 3, No. 1. (February 2005), pp. 30-37. by Keith Stobie posted by 1 person sjgaller
	Pex–White Box Test Generation for .NET [My Copy] Tests and Proofs In Tests and Proofs (2008), pp. 134-153. by Nikolai Tillmann, Jonathan de Halleux posted by 6 people bfraser JavaJoe maqkona qdw1987 coolcapri sjgaller
	Purity and Side Effect Analysis for Java Programs [My Copy] Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215. by Alexandru Sălcianu, Martin Rinard posted by 2 people sjgaller Desgin-by-Contract
	Issues in Testing Dependable Event-Based Systems at a Systems Integration Company [My Copy] Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on In Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on (2007), pp. 1093-1100. by Armin Beer, Matthias Heindl posted by 1 person sjgaller
	Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems [My Copy] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 3-12. by Xianghua Deng, Robby, John Hatcliff posted by 1 person sjgaller
	Search-based software test data generation for string data using program-specific search operators: Research Articles [My Copy] Softw. Test. Verif. Reliab., Vol. 16, No. 3. (September 2006), pp. 175-203. by Mohammad Alshraideh, Leonardo Bottaci posted by 1 person sjgaller
	Fast and automated generation of attack signatures: a basis for building self-protecting servers [My Copy] In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security (2005), pp. 213-222. by Zhenkai Liang, R. Sekar posted by 2 people thermostat sjgaller
	Search-based software engineering [My Copy] Information and Software Technology, Vol. 43, No. 14. (15 December 2001), pp. 833-839. by Mark Harman, Bryan F. Jones posted by 2 people viveknallur sjgaller
	jMock: supporting responsibility-based design with mock objects [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 4-5. by Steve Freeman, Tim Mackinnon, Nat Pryce, Joe Walnes posted by 1 person sjgaller
	Unit testing in multi-agent systems using mock agents and aspects [My Copy] In SELMAS '06: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (2006), pp. 83-90. by Roberta Coelho, Uirá Kulesza, Arndt von Staa, Carlos Lucena posted by 1 person sjgaller
	Mock object creation for test factoring [My Copy] In PASTE '04: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2004), pp. 49-51. by David Saff, Michael D. Ernst posted by 2 people akuhn sjgaller
	Fast color-independent ball detection for mobile robots [My Copy] (2004) by S. Mitri, K. Pervlz, H. Surmann, A. Nchter posted by 1 person sjgaller
	3-weight pseudo-random test generation based on a deterministic test set for combinational and sequential circuits [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 12, No. 7. (1993), pp. 1050-1058. by I. Pomeranz, S. M. Reddy posted by 1 person sjgaller
	From Vision to Realtime Motion Control for the RoboCup Domain [My Copy] Control Applications, 2007. CCA 2007. IEEE International Conference on In Control Applications, 2007. CCA 2007. IEEE International Conference on (2007), pp. 545-550. by D. Bruijnen, W. Aangenent, J. van Helvoort, R. van de Molengraft posted by 1 person sjgaller
	Vision-based fast and reactive Monte-Carlo localization [My Copy] Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on In Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on, Vol. 1 (2003), pp. 856-861 vol.1. by T. Rofer, M. Jungel posted by 1 person sjgaller
	SMT-COMP: Satisfiability Modulo Theories Competition [My Copy] Computer Aided Verification (2005), pp. 20-23. by Clark Barrett, Leonardo de Moura, Aaron Stump posted by 1 person sjgaller
	Efficient E-Matching for SMT Solvers [My Copy] Automated Deduction – CADE-21 (2007), pp. 183-198. by Leonardo de Moura, Nikolaj Bjørner posted by 2 people rhishi sjgaller
	JML reference manual [My Copy] (2002) by G. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby posted by 1 person sjgaller
	Evolutionary testing of classes [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 119-128. by Paolo Tonella posted by 2 people nigno sjgaller
	A specification-based fitness function for evolutionary testing of object-oriented programs [My Copy] In GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation (2006), pp. 1953-1954. by Yoonsik Cheon, Myoung Kim posted by 1 person sjgaller
	Simplify: a theorem prover for program checking [My Copy] J. ACM, Vol. 52, No. 3. (May 2005), pp. 365-473. by David Detlefs, Greg Nelson, James B. Saxe posted by 3 people dejan sjgaller zuleger
	Reconciling Manual and Automated Testing: The AutoTest Experience [My Copy] In HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007) by Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard posted by 1 person sjgaller
	Applying "Design by Contract" [My Copy] Computer, Vol. 25, No. 10. (October 1992), pp. 40-51. by Bertrand Meyer posted by 3 people Desgin-by-Contract sjgaller jweslley
	Game Models for Open Systems [My Copy] Verification: Theory and Practice (2004), pp. 192-193. by Luca de Alfaro posted by 2 people adamarnesen sjgaller
	Tools for Test Case Generation [My Copy] In Model-Based Testing of Reactive Systems, Vol. 3472 (2004), pp. 391-438. by Axel Belinfante, Lars Frantzen, Christian Schallhart edited by Manfred Broy, Bengt Jonsson, Joost P. Katoen, et al.Martin Leucker, Alexander Pretschner, Manfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner posted by 1 person sjgaller
	Comparing TorX, Autolink, TGV and UIO Test Algorithms [My Copy] In SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML (2001), pp. 379-402. by N. Goga posted by 1 person sjgaller
	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation [My Copy] Tests and Proofs (2007), pp. 114-130. by Lisa Liu, Bertrand Meyer, Bernd Schoeller posted by 1 person sjgaller
	Logical foundations of program assertions: what do practitioners want? [My Copy] Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on (2005), pp. 383-392. by P. Chalin posted by 1 person sjgaller
	Software Testing and Analysis: Process, Principles and Techniques [My Copy] (13 April 2007) by Mauro Pezze, Michal Young posted by 4 people thiers20 mbaluda nigno sjgaller
	Bandera: extracting finite-state models from Java source code [My Copy] Software Engineering, 2000. Proceedings of the 2000 International Conference on In Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 439-448. by J. C. Corbett, M. B. Dwyer, J. Hatcliff, et al.S. Laubach, C. S. Pasareanu, Robby, Hongjun Zheng posted by 3 people zhensong bfraser sjgaller
	Specify, Compile, Run: Hardware from PSL [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 190, No. 4. (November 2007), pp. 3-16. by Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer posted by 1 person sjgaller
	Adaptive Random Testing [My Copy] Advances in Computer Science - ASIAN 2004 (2004), pp. 320-329. by T. Y. Chen, H. Leung, I. K. Mak posted by 1 person sjgaller
	Isolating relevant component interactions with JINSI [My Copy] In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 3-10. by Alessandro Orso, Shrinivas Joshi, Martin Burger, Andreas Zeller posted by 2 people sjgaller RalfMitschke
	Automatic Testing of Object-Oriented Software [My Copy] SOFSEM 2007: Theory and Practice of Computer Science (2007), pp. 114-129. by Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Liu posted by 1 person sjgaller
	A Theory of Predicate-Complete Test Coverage and Generation [My Copy] Formal Methods for Components and Objects (2005), pp. 1-22. by Thomas Ball posted by 2 people newdawn sjgaller
	Test-data generation using genetic algorithms [My Copy] Software Testing, Verification and Reliability, Vol. 9, No. 4. (1999), pp. 263-282. by Roy P. Pargas, Mary J. Harrold, Robert R. Peck posted by 3 people mishra_satish sjgaller elvinado
	Reachability analysis for annotated code [My Copy] In SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems (2007), pp. 23-30. by Mikolás Janota, Radu Grigore, Michal Moskal posted by 1 person sjgaller
	Robust Monte Carlo localization for mobile robots [My Copy] Artificial Intelligence, Vol. 128, No. 1-2. (May 2001), pp. 99-141. by Sebastian Thrun, Dieter Fox, Wolfram Burgard, Frank Dellaert posted by 3 people sjgaller hyhu84 ad hoc localization
	Grey-Box Checking [My Copy] Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006), pp. 420-435. by Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu posted by 1 person sjgaller
	Heap games, numeration systems and sequences [My Copy] Annals of Combinatorics, Vol. 2, No. 3. (1998), pp. 197-210. by Aviezri Fraenkel posted by 1 person sjgaller
	Mathematical kayles [My Copy] International Journal of Game Theory, Vol. 20, No. 3. (1992), pp. 237-246. by W. L. Sibert, J. H. Conway posted by 1 person sjgaller
	Kayles and Nimbers [My Copy] Journal of Algorithms, Vol. 43, No. 1. (April 2002), pp. 106-119. by Hans L. Bodlaender, Dieter Kratsch posted by 1 person sjgaller
	Precise Analysis of String Expressions [My Copy] Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003), pp. 1076-1076. by Aske S. Christensen, Anders Møller, Michael I. Schwartzbach posted by 3 people keigoi haberman sjgaller
	Pluggable Annotation Processing Updates [My Copy] Java™ 6 Platform Revealed (2006), pp. 183-200. posted by 1 person sjgaller
	Anzu: A Tool for Property Synthesis [My Copy] Computer Aided Verification (2007), pp. 258-262. by Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	1 Constraint and Constraint Solving: An Introduction [My Copy] Constraints in Computational Logics: Theory and Applications (2001), 1. by Jean-Pierre Jouannaud, Ralf Treinen posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	JAG : J ML A nnotation G eneration for Verifying Temporal Properties [My Copy] Fundamental Approaches to Software Engineering (2006), pp. 373-376. by Alain Giorgetti, Julien Groslambert posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Measuring a Java Test Suite Coverage Using JML Specifications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 21-32. by F. Dadeau, Y. Ledru, L. du Bousquet posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis [My Copy] Dependable Computing - EDCC 2005 (2005), pp. 281-292. by Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Diagnosing multiple faults [My Copy] Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 97-130. by J. de Kleer, B. C. Williams posted by 5 people fheintz sjgaller Context-driven-testers Desgin-by-Contract gvdh
	Enhancing the Pre- and Postcondition Technique for More Expressive Specifications [My Copy] FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II (1999), pp. 73-73. by Gary T. Leavens, Albert L. Baker posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Generating test data for branch coverage [My Copy] Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on In Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on (2000), pp. 219-227. by N. Gupta, A. P. Mathur, M. L. Soffa posted by 3 people sjgaller Context-driven-testers 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 (2003), pp. 553-568. by Sarfraz Khurshid, Corina S. Pasareanu posted by 5 people bfraser sjgaller Context-driven-testers Desgin-by-Contract nigno
	Mock-object generation with behavior [My Copy] In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 365-368. by Nikolai Tillmann, Wolfram Schulte posted by 4 people coolcapri sjgaller Context-driven-testers Desgin-by-Contract
	Working Effectively with Legacy Code [My Copy] (2004) by Michael Feathers posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Optimal strategies for testing nondeterministic systems [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 55-64. by Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp posted by 3 people sjgaller Context-driven-testers 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 by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Mock objects [My Copy] Software, IEEE In Software, IEEE, Vol. 19, No. 3. (2002), pp. 22-24. by D. Thomas, A. Hunt posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Unit tests reloaded: parameterized unit testing with symbolic execution [My Copy] Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47. by N. Tillmann, W. Schulte posted by 5 people martinrytter coolcapri sjgaller Context-driven-testers Desgin-by-Contract
	The Spec# Programming System: An Overview [My Copy] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005), pp. 49-69. by Mike Barnett, Leino, Wolfram Schulte posted by 3 people sjgaller Context-driven-testers Desgin-by-Contract
	Endo-testing: unit testing with mock objects [My Copy] (2001), pp. 287-301. by Tim Mackinnon, Steve Freeman, Philip Craig posted by 4 people bfraser sjgaller Context-driven-testers Desgin-by-Contract
	Bounded model checking [My Copy] (2003) by A. Biere, A. Cimatti, E. Clarke, O. Strichman, Y. Zhu posted by 7 people meolic p2p01 bfraser sjgaller Context-driven-testers Desgin-by-Contract voronov