Abstract | ||
---|---|---|
Verification is usually performed on a high-level view of the software, either specification or program source code. However in certain circumstances verification is more relevant when performed at the machine code level. This paper focuses on automatic ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ICST.2008.25 | ICST |
Keywords | Field | DocType |
high-level view,singular value decomposition,program source code,empirical software change impact,machine code level,certain circumstances verification,software development,programming,software testing,software maintenance,software systems,public domain software,matrix decomposition,risk analysis,verification and validation,change impact analysis,java | Change impact analysis,Singular value decomposition,Verification and validation,Computer science,Real-time computing,Software,Software maintenance,Open source software,Technical report,Reliability engineering,Software development | Conference |
Citations | PageRank | References |
27 | 0.95 | 18 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark Sherriff | 1 | 145 | 12.91 |
Laurie Williams | 2 | 4033 | 473.64 |