Revision as of 21:02, 22 May 2017 edit George Rodney Maruri Game (talk \| contribs) Extended confirmed users 1,345 edits m →Narrow scope: Exception added. ← Previous edit		Revision as of 16:21, 28 June 2017 edit undo Edwardx (talk \| contribs) Autopatrolled, Event coordinators, Extended confirmed users, New page reviewers, Pending changes reviewers, Rollbackers 196,808 edits wikilink(s) added Next edit →
Line 52: * [[Carlo Ghezzi]], [[Mehdi Jazayeri]], [[Dino Mandrioli]]: ''Fundamentals of Software Engineering'', Prentice Hall, ISBN 0-13-099183-X * [[Alan L. Breitler]]: ''A Verification Procedure for Software Derived from Artificial Neural Networks'', Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4. * Vijay D'Silva, [[Daniel Kroening]], Georg Weissenbacher: [http://www.kroening.com/papers/tcad-sw-2008.pdf A Survey of Automated Techniques for Formal Software Verification]. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008) [[Category:Software testing]]

Software verification: Difference between revisions