Automatically identifying critical input regions and code in applications

@inproceedings{Carbin2010AutomaticallyIC,
  title={Automatically identifying critical input regions and code in applications},
  author={Michael Carbin and M. Rinard},
  booktitle={ISSTA '10},
  year={2010}
}
  • Michael Carbin, M. Rinard
  • Published in ISSTA '10 2010
  • Computer Science
  • Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly small changes in the behavior and output. Small changes to critical regions, on the other hand, can induce disproportionally large changes in the behavior or output. Identifying the critical and forgiving regions in the input and the corresponding critical and forgiving regions of code is directly relevant to many software… CONTINUE READING
    60 Citations
    ApproxSymate: path sensitive program approximation using symbolic execution
    • 2
    • PDF
    Invariant detection meets Random test case generation
    Automated debugging in data-intensive scalable computing
    • 15
    • PDF
    Verifying quantitative reliability for programs that execute on unreliable hardware
    • 188
    • PDF
    AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
    • 14
    Verifying quantitative reliability for programs that execute on unreliable hardware
    • 56
    Minotaur: Adapting Software Testing Techniques for Hardware Errors
    • 6
    • PDF