Abstract | ||
---|---|---|
Static analysis works well at checking defects that clearly map to source code constructs. Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. This ... |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/QSIC.2009.39 | QSIC |
Keywords | Field | DocType |
software maintenance,software process improvement,model-driven software measurement,process life cycle,software maintenance,Model-driven Engineering,Software Measurement | Personal software process,Systems engineering,Software engineering,Computer science,Software development process,Software construction,Software verification and validation,Software sizing,Software measurement,Software development,Social software engineering | Conference |
ISSN | Citations | PageRank |
1550-6002 | 3 | 0.41 |
References | Authors | |
15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Beatriz Mora | 1 | 34 | 4.40 |
Felix Garcia | 2 | 342 | 25.00 |
Francisco Ruiz | 3 | 183 | 14.78 |
Piattini, M. | 4 | 18 | 2.29 |