IEEE - Institute of Electrical and Electronics Engineers, Inc. - Bandera: extracting finite-state models from Java source code

Proceedings of International Conference on Software Engineering

Author(s): J.C. Corbett ; M.B. Dwyer ; J. Hatcliff ; S. Laubach ; C.S. Pasareanu ; Robby ; Hongjun Zheng
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Limerick, Ireland, Ireland
Conference Date: 9 June 2000
Page Count: 10
Page(s): 439 - 448
ISBN (Paper): 1-58113-206-9
ISSN (Paper): 0270-5257
DOI: 10.1145/337180.337625
Regular:

Finite-state verification techniques, such as model checking, have shown promise as a cost-effective means for finding defects in hardware designs. To date, the application of these techniques to... View More

Advertisement