Enforcer - Efficient Failure Injection

@inproceedings{Artho2006EnforcerE,
  title={Enforcer - Efficient Failure Injection},
  author={Cyrille Artho and Armin Biere and Shinichi Honiden},
  booktitle={FM},
  year={2006}
}
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an application, such as network availability. Testing a program with its communication resources being unavailable is difficult, as it requires a change on the host system, which has to be coordinated with the test suite. Essentially, each interaction of the application with the environment can result in a failure. Only some of… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Testing Exceptions with Enforcer

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

AOP-based automated unit test classification of large benchmarks

  • 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)
  • 2007
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Model Checking Networked Programs in the Presence of Transmission Failures

  • First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
  • 2007
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Exhaustive Testing of Exception Handlers with Enforcer

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Testing I/O Failures with Enforcer

Cyrille Artho, Armin Biere, Shinichi Honiden
  • FM 2006
  • 2006
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Are web applications more defect-prone than desktop applications?

  • International Journal on Software Tools for Technology Transfer
  • 2010
VIEW 1 EXCERPT
CITES BACKGROUND

Defect location in traditional vs. Web applications - an empirical investigation

  • 2009 11th IEEE International Symposium on Web Systems Evolution
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

Automatic failure-path inference: a generic introspection technique for Internet applications

  • Proceedings the Third IEEE Workshop on Internet Applications. WIAPP 2003
  • 2003
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Monitoring, Checking, and Steering of Real-Time Systems

  • Electr. Notes Theor. Comput. Sci.
  • 2002
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Compiler-directed program-fault coverage for highly available Java internet services

  • 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.
  • 2003

Finding feasible a str ct counter-examples

C. Pasareanu, M. Dwyer, W. Visser
  • Intl. Journal on Software Tools for Technology Transfer (ST TT), 5(1):34–48,
  • 2003
VIEW 1 EXCERPT