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} }
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
Figures, Tables, and Topics from this paper
60 Citations
ApproxSymate: path sensitive program approximation using symbolic execution
- Computer Science
- LCTES
- 2019
- 2
- PDF
Verifying quantitative reliability for programs that execute on unreliable hardware
- Computer Science
- Commun. ACM
- 2016
- 188
- PDF
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
- Computer Science
- IEEE Transactions on Software Engineering
- 2017
- 14
Verifying quantitative reliability for programs that execute on unreliable hardware
- Computer Science
- OOPSLA
- 2013
- 56