International Symposium on Software Testing and Analysis
E89509
The International Symposium on Software Testing and Analysis is a leading annual research conference focused on advancing the theory and practice of software testing, analysis, and verification.
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
→
computer science conference → software engineering conference → |
| academicDiscipline |
computer science
→
software engineering → |
| aimsTo |
advance the practice of software testing and analysis
→
advance the theory of software testing and analysis → bridge the gap between research and practice in software testing → |
| audience |
graduate students
→
software engineering researchers → software practitioners → |
| field |
program analysis
→
software engineering → software testing → software verification → |
| focusesOn |
dynamic program analysis
→
empirical software engineering → fault localization → formal methods in software testing → model-based testing → practice of software testing → program verification → regression testing → software analysis tools → software debugging techniques → software reliability → software security testing → static program analysis → test automation → test case generation → theory of software testing → |
| hasActivity |
doctoral symposium
→
keynote talks → poster sessions → research paper presentations → technical sessions → tool demonstrations → workshops → |
| hasLanguage | English → |
| held | annually → |
| topic |
automated debugging
→
bug detection → fuzz testing → program slicing → software quality assurance → symbolic execution → test adequacy criteria → |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
ACM SIGSOFT Distinguished Paper Awards
→
typicalVenue
→
International Symposium on Software Testing and Analysis
→
this entity surface form: "ACM SIGSOFT International Symposium on Software Testing and Analysis"