2013 | OriginalPaper | Chapter
Assisting Specification Refinement by Random Testing
Author : Mengjun Li
Published in: Formal Methods and Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Program invariants play a major role in program analysis, the specification refinement technique has the capability to generating all the required program invariants for verifying a specification. The refinement invariants generation is the main obstacles of the specification refinement. Based on random testing, this paper presents a practical assistant approach for specification refinement. The effectiveness of the approach is demonstrated on examples.