Title
A semantics-based method for revalidating modified programs.
Year
DOI
Venue
1994
10.1002/smr.4360060103
Journal of Software Maintenance
Keywords
Field
DocType
integer programming,software maintenance
Programming language,Reuse,Computer science,Constraint satisfaction problem,Software,Integer programming,Test case,Symbolic execution,Software maintenance,Semantics,Reliability engineering
Journal
Volume
Issue
Citations 
6
1
0
PageRank 
References 
Authors
0.34
13
2
Name
Order
Citations
PageRank
In Sang Chung1646.76
Yong Rae Kwon2103150.37