Content deleted Content added
No edit summary Tags: Reverted Visual edit Mobile edit Mobile web edit |
Divinations (talk | contribs) m Undid edits by 37.39.151.77 (talk) to last version by Vkuncak: unexplained content removal |
||
Line 51:
* [[Formal verification]]
== References ==
* [[IEEE]]: ''SWEBOK: Guide to the Software Engineering Body of Knowledge''
* [[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]]
| |||