29. SEW 2005:
Greenbelt, Maryland, USA Software Release
export record as
dblp key:
export record as
dblp key:
Development Issues
export record as
dblp key:
conf/sew/WongthongthamCCD05
Analysis and Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Code and Programming
export record as
dblp key:
Mark E. M. Stewart :
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis.
89-96
export record as
dblp key:
Requirements Issues
export record as
dblp key:
export record as
dblp key:
Risk and Safety
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Architecture Issues
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Real Time and Concurrency Issues
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Information and Reasoning Issues
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Approaches
export record as
dblp key:
export record as
dblp key:
Defects and Analysis
export record as
dblp key:
Stefan Wagner :
Towards Software Quality Economics for Defect-Detection Techniques.
265-274
export record as
dblp key:
Verification Issues
export record as
dblp key:
export record as
dblp key:
Testing and Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
