A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
"Have I Written Enough Properties?" - A Method of Comparison Between Specification and Implementation
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
We suggest four comparison criteria, each revealing a certain dissimilarity b e t ween the implementation and the speci cation. ...
Given a model of a design or implementation and a temporal logic formula that describes a speci cation, model checking determines whether the model satis es the speci cation. ...
Acknowledgment: We thank Ilan Beer for suggesting to look into the problem of coverage in model checking. The rst author thanks Galileo Technology for the opportunity t o w ork on the subject. ...
doi:10.1007/3-540-48153-2_21
fatcat:a3r3rptofzdwdc6kleibhk2c5y
Comparative Evaluation of the State-of-art Requirements-based Test Case Generation Approaches
2017
International Journal on Advanced Science, Engineering and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The testing process ensures that a software is aligned with the user specification and requirements. ...
The quality of the generated test cases has a significant impact on efficiency and effectiveness of the testing process. ...
Similarly, in black box testing, it addresses "Have I written enough properties?" ...
doi:10.18517/ijaseit.7.4-2.3409
fatcat:b577jozlf5cqdlp453zaydlkea
Coverage in interpolation-based model checking
2010
Proceedings of the 47th Design Automation Conference on - DAC '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. ...
This re-use permits a quick conclusion of the vast majority of tests, and enables the computation of a coverage measure with 96% accuracy with only 5x the runtime of the Model Checker. ...
Intuitively, coverage metrics answer the question "Have I written enough properties?". ...
doi:10.1145/1837274.1837320
dblp:conf/dac/ChocklerKP10
fatcat:5ufmflnutjdonfiocfinafb2fa
Computing Mutation Coverage in Interpolation-Based Model Checking
2012
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. ...
This re-use permits a a rapid completion of the vast majority of tests, and enables the computation of a coverage measure with 96% accuracy with only 5x the runtime of the Model Checker. ...
Intuitively, coverage metrics in formal methods answer the question "Have I written enough properties?". ...
doi:10.1109/tcad.2011.2180382
fatcat:4qqi62whgvddjhmxho3jjz2qdq