pfrancis's library 26 articles Export

	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 to test_generation by pfrancis on 2007-11-05 22:01:46 as along with 1 person sjgaller
	Tool-assisted unit test selection based on operational violations [My Copy] Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on In Proceedings of 18th IEEE International Conference on Automated Software Engineering (2003), pp. 40-48. by Tao Xie, D. Notkin posted to test_selection by pfrancis on 2007-11-05 19:24:23 as along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
	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 to test_generation test_selection by pfrancis on 2007-11-05 19:23:58 as along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 365-381. by Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin posted to test_generation by pfrancis on 2007-11-05 19:09:28 as along with 2 people JavaJoe martinrytter
	EXE: automatically generating inputs of death [My Copy] In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335. by Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler posted to test_generation by pfrancis on 2007-11-05 14:59:55 as along with 5 people qdw1987 srccheck sjgaller KarlKlose cyph3r
	An Empirical Study of the Robustness of Windows NT Applications Using Random Testing [My Copy] pp. 59-68. by Justin E. Forrester, Barton P. Miller posted to random_testing by pfrancis on 2007-11-05 14:08:50 as along with 2 people sjgaller cyph3r
	Path-oriented random testing [My Copy] In RT '06: Proceedings of the 1st international workshop on Random testing (2006), pp. 28-35. by Arnaud Gotlieb, Matthieu Petit posted to random_testing test_generation by pfrancis on 2007-11-01 18:54:21 as
	CUTE: a concolic unit testing engine for C [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. 263-272. by Koushik Sen, Darko Marinov, Gul Agha posted to test_generation by pfrancis on 2007-11-01 14:48:32 as along with 2 people elsantosneto thjt
	DART: directed automated random testing [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 213-223. by Patrice Godefroid, Nils Klarlund, Koushik Sen posted to random_testing test_generation by pfrancis on 2007-11-01 14:35:30 as along with 11 people and 3 groups bulwahn mbaluda qdw1987 jolilius bec newdawn sjgaller ahgharaibeh joaoarthurbm bfraser cyph3r Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
	Compositional dynamic test generation [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 47-54. by Patrice Godefroid posted to test_generation by pfrancis on 2007-10-30 19:44:43 as along with 1 person rhishi
	Software partitioning for effective automated unit testing [My Copy] In EMSOFT '06: Proceedings of the 6th ACM \& IEEE International conference on Embedded software (2006), pp. 262-271. by Arindam Chakrabarti, Patrice Godefroid posted to static_analysis test_generation by pfrancis on 2007-10-30 19:44:02 as
	Eclat: Automatic Generation and Classification of Test Inputs [My Copy] ECOOP 2005 - Object-Oriented Programming (2005), pp. 504-527. by Carlos Pacheco, Michael D. Ernst posted to test_generation by pfrancis on 2007-10-18 19:24:05 as along with 3 people newdawn joaoarthurbm cyph3r
	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing [My Copy] Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 59-68. by Marcelo D'amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst posted to empirical_studies test_generation by pfrancis on 2007-10-09 16:13:25 as along with 1 person cyph3r
	Feedback-Directed Random Test Generation [My Copy] In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 75-84. by Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball posted to test_generation by pfrancis on 2007-10-09 16:02:17 as along with 2 people newdawn cyph3r
	Geometric Basis of Semi-supervised Learning [My Copy] In Semi-Supervised Learning (2006), pp. 209-226. by Vikas Sindhwani, Misha Belkin, Partha Niyogi edited by Olivier Chapelle, Bernhard Schölkopf, Alexander Zien posted to machine_learning semi_supervised_learning by pfrancis on 2007-08-15 16:05:05 as along with 1 person V
	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 to empirical_studies random_testing by pfrancis on 2007-08-15 14:58:11 as along with 1 person sjgaller
	A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 73-83. by Mark Harman, Phil Mcminn posted to empirical_studies test_generation by pfrancis on 2007-08-15 14:56:41 as
	Pareto efficient multi-objective test case selection [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 140-150. by Shin Yoo, Mark Harman posted to test_selection by pfrancis on 2007-08-15 14:28:03 as
	Dynamic test input generation for database applications [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 151-162. by Michael Emmi, Rupak Majumdar, Koushik Sen posted to databases test_generation by pfrancis on 2007-08-15 14:20:56 as along with 1 person rhishi
	Finding what's not there: a new approach to revealing neglected conditions in software [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 163-173. by Ray-Yaung Chang, Andy Podgurski, Jiong Yang posted to data_mining missing_conditions static_analysis by pfrancis on 2007-08-15 14:16:54 as
	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code [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, Vol. 30, No. 5. (September 2005), pp. 306-315. by Zhenmin Li, Yuanyuan Zhou posted to static_analysis by pfrancis on 2006-07-07 18:51:31 as along with 4 people himosqui jespera alec fgeller
	Using redundancies to find errors [My Copy] Software Engineering, IEEE Transactions on, Vol. 29, No. 10. (2003), pp. 915-928. by Yichen Xie, D. Engler posted to static_analysis by pfrancis on 2006-06-23 21:21:59 as
	The chaining approach for software test data generation [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86. by Roger Ferguson, Bogdan Korel posted to test_generation by pfrancis on 2006-06-23 16:22:13 as along with 3 people sjgaller gvdh cyph3r
	Experimental results from an automatic test case generator [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 2, No. 2. (April 1993), pp. 109-127. by Richard A. Demillo, Jefferson A. Offutt posted to mutation_testing static_analysis by pfrancis on 2006-06-23 16:12:20 as
	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 to random_testing test_generation by pfrancis on 2006-06-23 16:04:52 as along with 2 people joaoarthurbm newdawn
	Check 'n' crash: combining static checking and testing [My Copy] In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 422-431. by Christoph Csallner, Yannis Smaragdakis posted to test_generation by pfrancis on 2006-06-23 15:39:24 as

Note: You may cite this page as: http://www.citeulike.org/user/pfrancis

test_generation	17
static_analysis	5
random_testing	5
test_selection	3
empirical_studies	3
machine_learning	1
databases	1
mutation_testing	1
semi_supervised_learning	1
missing_conditions	1
data_mining	1

pfrancis's library 26 articles Export

pfrancis's tags