A state coverage tool for JUnit

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 965-966

  Koster, Ken ^a  

^a Agitar Software Inc   (United States)

Author keywords

Coverage; State coverage; Structural testing; Taint analysis; Test adequacy criteria; Unit testing

Indexed keywords

COVERAGE; STATE COVERAGE; STRUCTURAL TESTING; TAINT ANALYSIS; TEST ADEQUACY CRITERIA; UNIT TESTING;

DYNAMIC ANALYSIS; SOFTWARE ENGINEERING; SOFTWARE TESTING; TEST FACILITIES;

TESTING;

EID: 57349121995     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370175.1370210     Document Type: Conference Paper

References (7)

1. J. Clause, W. Li, and A. Orso. Dytan: a generic dynamic taint analysis framework. In ISSTA, 2007.
2. V. Haldar, D. Chandra, and M. Franz. Dynamic taint propagation for Java. In Proceedings of the 21st Annual Computer Security Applications Conference pages 303-311, 2005.
3. K. Koster and D. C. Kao. State coverage: A structural test adequacy criterion for behavior checking. In ESEC/FSE, 2007.
4. V. B. Livshits and M. S. Lam. Finding security vulnerabilities in Java applications with static analysis. In Proceedings of the 14th Conference on USENIX Security Symposium, pages 18-18, 2005.
5. A. Sabelfeld and A. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 2003.
6. M. Weiser. Program slicing. In ICSE, 1981.
7. X. Zhang, N. Gupta, and R. Gupta. Pruning dynamic slices with confidence. In Conference on Programming Language Design arid Implementation, 2006.