Abstract | ||
---|---|---|
We propose a method to improve the automated test case generation for Metric Temporal Logic (MTL) falsification for Cyber-Physical Systems (CPS). In this work, we focus on request-response MTL specifications. That is, specifications that consist of at least one antecedent and a corresponding consequent. Test case generation is particularly difficult for these specifications since the consequent is only considered if the antecedent is satisfied. Therefore, we propose a method that first targets the antecedent in the specification. We show that our framework can improve upon existing falsification methods on a number of benchmark problems. |
Year | Venue | Field |
---|---|---|
2017 | 2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) | Programming language,Computer science,Robustness (computer science),Temporal logic,Request–response,Semantics |
DocType | ISSN | Citations |
Conference | 2161-8070 | 1 |
PageRank | References | Authors |
0.35 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adel Dokhanchi | 1 | 25 | 5.90 |
Shakiba Yaghoubi | 2 | 13 | 2.96 |
Bardh Hoxha | 3 | 68 | 9.13 |
Georgios E. Fainekos | 4 | 804 | 52.65 |