nigno's softwareengineering [10 articles] Export

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

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
	Service-Oriented Computing: Key Concepts and Principles [My Copy] IEEE Internet Computing, Vol. 9, No. 1. (January 2005), pp. 75-81. by Michael N. Huhns, Munindar P. Singh posted to soa softwareengineering by nigno on 2008-07-10 15:21:13 as along with 9 people ilepile enekofb ddahlem whitenoise pjsc ianhall7 Nuanda yleblevec emiliorp
	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
	Service-Oriented Architecture : Concepts, Technology, and Design [My Copy] (02 August 2005) by Thomas Erl posted to soa softwareengineering webservices by nigno on 2008-06-19 11:15:48 as along with 11 people and 3 groups ilepile omunoz somebody cmalek MRRHead bfraser tremblay_guy charoy cortex robertlischke Topper Knowledge_Management ecoo-pe Social_Learning_Software_Lab
	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
	Suitability of evolutionary algorithms for evolutionary testing [My Copy] Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International In Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International (2002), pp. 287-289. by J. Wegener, A. Baresel, H. Sthamer posted to geneticalgorithms softwareengineering testdata verification by nigno on 2008-03-27 18:24:53 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
	Reformulating software engineering as a search problem [My Copy] Software, IEE Proceedings - In Software, IEE Proceedings -, Vol. 150, No. 3. (2003), pp. 161-175. by J. Clarke, J. J. Dolado, M. Harman, et al.R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, M. Shepperd posted to geneticalgorithms softwareengineering by nigno on 2008-03-27 17:50:52 as along with 1 person tekrei

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

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 softwareengineering [10 articles] Export

nigno's tags