METHOD FOR REVALIDATING MODIFIED PROGRAMS IN THE MAINTENANCE PHASE.

,2005, 引用: 22

UNSPECIFIED (2009),2009, 引用: 0

computer aided verification,2014, 引用: 9

The International Arab Journal of Information Technology,2006, 引用: 1

,2004, 引用: 21

european software engineering conference,1993, 引用: 0

ENCRESS '97 IFIP TC5 WG5.4 3rd internatinal conference on on Reliability, quality and safety of software-intensive systems,1997, 引用: 87

,2009, 引用: 124

international conference on software maintenance,1998, 引用: 139

Empirical Software Engineering,1997, 引用: 17