KeYGenU: combining verification-based and capture and replay techniques for regression unit testing

ISSN： 0975-6809

Source： International Journal of Systems Assurance Engineering and Management, Vol.2, Iss.2, 2011-06, pp. : 97-113

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Rewriting-Based Techniques for Runtime Verification

By Roşu Grigore

Automated Software Engineering, Vol. 12, Iss. 2, 2005-04 ,pp. : 151-197

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid Regression Testing Based on Path Pruning

International Journal of Systems and Service-Oriented Engineering (IJSSOE), Vol. 5, Iss. 1, 2015-01 ,pp. : 35-55

IGI Global_journal

Access to resources Recommend Favorite

Unit verification: the CARA experience

By Ray Arnab Cleaveland Rance

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 351-369

Springer Publishing Company

Access to resources Recommend Favorite

Combining Digital and Traditional Visualisation Techniques in Community-Based Planning and Design

By Al-Kodmany Kheir

Digital Creativity, Vol. 10, Iss. 2, 1999-06 ,pp. : 91-103

Routledge Ltd

Access to resources Recommend Favorite

Developments in automated verification techniques

By Flanagan Cormac König Barbara

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 123-125

Springer Publishing Company

Access to resources Recommend Favorite