Name
Abstract | ||
|---|---|---|
In this paper, we report on the effectiveness of the testing approach known as pairwise or orthogonal testing in verifying the correctness of the LTL specifications generated by the PROperty SPECification (Prospec) tool. This tool assists the user in generating a large number (over 34,000) of formal specifications in formal languages, including Linear Temporal Logic (LTL). Pairwise testing is a technique that aims at, significantly, reducing the amount of test cases required for testing a particular software system while providing assurance of adequate coverage of the problem space. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/HASE.2015.46 | HASE |
Keywords | Field | DocType |
prospec tool,pairwise testing,ltl specifications,automatically-generated formal specification verification,pattern,composite propositions,scope,program testing,property specification tool,formal specifications,ltl,formal languages,software system testing,orthogonal testing,linear temporal logic,temporal logic,program verification,formal specification,software systems,formal verification,model checking | Programming language,Computer science,Design by contract,Correctness,All-pairs testing,Functional testing,Formal specification,Linear temporal logic,Theoretical computer science,Formal methods,Reliability engineering,Formal verification | Conference |
ISSN | Citations | PageRank |
1530-2059 | 2 | 0.38 |
References | Authors | |
5 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Salamah Salamah | 1 | 41 | 10.98 |
| Omar Ochoa | 2 | 10 | 5.19 |
| Yadira Jacquez | 3 | 2 | 0.38 |