IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic Property Checking for Software: Past, Present and Future

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): S.K. Rajamani
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 18 - 20
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.10
Regular:

Software validation is a very hard problem. Traditionally, most validation in our industry has been done by testing. Testing is the process of running software on representative inputs and... View More

Advertisement