Skip to main content

Aspect: An Economical Bug-Detector

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Jackson:ICSE91,
  author    = {Daniel Jackson},
  title     = {Aspect: An Economical {Bug-Detector}},
  booktitle = {ICSE},
  pages     = {13--22},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}

Related papers

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages ICSE 2025
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE 2022
How many of all bugs do we find? a study of static bug detectors ASE 2018
How to Train Your Neural Bug Detector: Artificial vs Real Bugs ASE 2023
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions ASE 2021
Jinn: synthesizing dynamic bug detectors for foreign language interfaces PLDI 2010
JavaDL: automatically incrementalizing Java bug pattern detection OOPSLA 2021
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs ASE 2020