Study of integrating random and symbolic testing for object-oriented software

M Dimjašević, F Howar, K Luckow… - … Formal Methods: 14th …, 2018 - Springer
Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …
被引用次数：5 相关文章

Study of Integrating Random and Symbolic Testing for Object-Oriented Software

M Dimjaˇsevic, F Howar… - … Formal Methods: 14th …, 2018 - books.google.com
Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …

Study of integrating random and symbolic testing for object-oriented software

M Dimjasevic, F Howar, K Luckow, Z Rakamaric - 2018 - publica.fraunhofer.de
Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …
[PDF] soarlab.org

[PDF][PDF] Study of Integrating Random and Symbolic Testing for Object-Oriented Software

M Dimjašević, F Howar, K Luckow, Z Rakamarić - soarlab.org
Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …

Study of Integrating Random and Symbolic Testing for Object-Oriented Software

M Dimjaševic, F Howar, K Luckow - Integrated Formal Methods LNCS 11023 - Springer
Testing is currently the main technique adopted by the industry for improving the quality,
reliability, and security of software. In order to lower the cost of manual testing, automatic …