nigno's testing [16 articles] Export Sort

Recent papers added to nigno's library classified by the tag testing. You can also see everyone's testing.

Hide details

	WS-Policy for service monitoring [My Copy] In 6th VLDB Intl. Workshop on Technologies for E-Services, volume 3811 of Lect. Notes in Computer Science (2006), pp. 72-83. by L. Baresi, S. Guinea, P. Plebani posted to modelchecking softwareengineering testing by nigno on 2009-06-25 20:17:54 as
	Using Model Checking to Generate Tests from Requirements Specifications [My Copy] In In Proceedings of the Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (1999), pp. 146-162. by Angelo Gargantini, Constance Heitmeyer posted to modelchecking softwareengineering testing by nigno on 2009-06-25 11:32:53 as
	Evolutionary testing of classes [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 119-128. by Paolo Tonella posted to geneticalgorithms softwareengineering testing by nigno on 2009-06-25 11:24:38 as along with 1 person sjgaller
	Test Generation Based on Symbolic Specifications [My Copy] Formal Approaches to Software Testing (2005), pp. 1-15. by Lars Frantzen, Jan Tretmans, Tim A. Willemse posted to testing by nigno on 2009-03-10 11:13:55 as along with 1 person mishra_satish
	Cooperative and group testing in verification of dynamic composite Web services [My Copy] Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International In Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International, Vol. 2 (2004), pp. 170-173 vol.2. by W. T. Tsai, Y. Chen, R. Paul, N. Liao, H. Huang posted to testing webservices by nigno on 2009-03-09 16:40:42 as
	A Graph-Search Based Approach to BPEL4WS Test Generation [My Copy] Software Engineering Advances, International Conference on In Software Engineering Advances, International Conference on (2006), pp. 14-14. by Yuan Yuan, Zhongjie Li, Wei Sun posted to testing by nigno on 2009-03-09 16:36:42 as
	Search-based testing of service level agreements [My Copy] In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation (2007), pp. 1090-1097. by Massimiliano Di Penta, Gerardo Canfora, Gianpiero Esposito, Valentina Mazza, Marcello Bruno posted to geneticalgorithms testdata testing by nigno on 2009-03-09 16:34:46 as along with 1 person japarejo
	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 to modelchecking softwareengineering symbolicexecution testing by nigno on 2008-07-08 14:56:41 as along with 2 people and 2 groups bfraser sjgaller Context-driven-testers Desgin-by-Contract
	A strategy for using genetic algorithms to automate branch and fault-based testing [My Copy] Computer Journal, Vol. 41, No. 2. (1998), pp. 98-107. by B. Jones, D. Eyres, H. Sthamer posted to geneticalgorithms softwareengineering testdata testing by nigno on 2008-03-27 18:33:24 as
	Evolutionary test environment for automatic structural testing [My Copy] Information and Software Technology, Vol. 43, No. 14. (15 December 2001), pp. 841-854. by Joachim Wegener, Andre Baresel, Harmen Sthamer posted to geneticalgorithms testing by nigno on 2008-03-27 18:20:08 as
	Test-Data Generation Using Genetic Algorithms [My Copy] Software Testing, Verification & Reliability, Vol. 9, No. 4. (1999), pp. 263-282. by Roy P. Pargas, Mary J. Harrold, Robert Peck posted to geneticalgorithms testdata testing by nigno on 2008-03-27 18:11:29 as
	Automatic structural testing using genetic algorithms [My Copy] Software Engineering Journal In Software Engineering Journal, Vol. 11, No. 5. (1996), pp. 299-306. by B. F. Jones, H. H. Sthamer, D. E. Eyres posted to geneticalgorithms softwareengineering testing by nigno on 2008-03-27 18:03:42 as along with 1 person joaoarthurbm
	Model-based verification of Web service compositions [My Copy] Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on In Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 152-161. by H. Foster, S. Uchitel, J. Magee, J. Kramer posted to bpel testing verification webservices by nigno on 2008-03-12 16:22:14 as along with 1 person Jens_Lyn
	Software Testing and Analysis: Process, Principles and Techniques [My Copy] (13 April 2007) by Mauro Pezze, Michal Young posted to modelchecking symbolicexecution testdata testing verification by nigno on 2008-03-05 16:24:00 as along with 3 people thiers20 mbaluda sjgaller
	Generating software test data by evolution [My Copy] (1997) by G. Mcgraw, C. Michael, M. Schatz posted to testdata testing by nigno on 2008-03-05 14:47:28 as
	Search-based software test data generation: a survey [My Copy] Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156. by Phil Mcminn posted to algorithms testdata testing by nigno on 2008-03-05 14:43:34 as along with 2 people sjgaller cyph3r

Note: You may cite this page as: http://www.citeulike.org/user/nigno/tag/testing

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

e-gov	42
testing	16
webservices	11
semanticsearch	10
softwareengineering	10
geneticalgorithms	9
testdata	7
soa	7
modelchecking	7
aica2007biblio	6
verification	5
egovernment	5
governmentinformationquarterly	4
ai	3
informationretrieval	3
symbolicexecution	2
bpel	2
informationsystems	2
algorithms	2
trust	1
machinelearning	1
agents	1
knowledgemanagement	1
semanticweb	1
innovation	1
interoperability	1
bir	1
security	1
temporallogic	1
mas	1

nigno's testing [16 articles] Export Sort

nigno's tags