Consistency checking in requirements analysis-Reference-Cited by-同舟云学术

Consistency checking in requirements analysis

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Bendík Jaroslav¹

Affiliation:

1. Masaryk University, Czech Republic

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3092703.3098239

Reference25 articles.

1. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization

2. Jiří Barnat Petr Bauch Nikola Beneš Luboš Brim Jan Beran and Tomáš Kratochvíla. 2016. Analysing sanity of requirements for avionics systems. Formal Aspects of Computing (2016). DOI:http: //dx. 10.1007/s00165-015-0348-9 Jiří Barnat Petr Bauch Nikola Beneš Luboš Brim Jan Beran and Tomáš Kratochvíla. 2016. Analysing sanity of requirements for avionics systems. Formal Aspects of Computing (2016). DOI:http: //dx. 10.1007/s00165-015-0348-9

3. Checking Sanity of Software Requirements

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Hashing-based approximate counting of minimal unsatisfiable subsets;Formal Methods in System Design;2023-04-19

3. Timed Automata Robustness Analysis via Model Checking;Logical Methods in Computer Science;2022-07-29

4. Inductive Validity Cores;IEEE Transactions on Software Engineering;2021-02-01

5. Timed Automata Relaxation for Reachability;Tools and Algorithms for the Construction and Analysis of Systems;2021