Cited By
View all- Hatcliff JBelt JRobby Hardin D(2024)Integrated Contract-Based Unit and System Testing for Component-Based SystemsNASA Formal Methods10.1007/978-3-031-60698-4_25(406-426)Online publication date: 4-Jun-2024
- Hatcliff JStewart DBelt J. RSchwerdfeger A(2023)An AADL Contract Language Supporting Integrated Model- and Code-Level VerificationACM SIGAda Ada Letters10.1145/3591335.359133942:2(45-54)Online publication date: 5-Apr-2023
- Hatcliff JBelt JRobby Legg JStewart DCarpenter T(2023)Automated Property-Based Testing from AADL Component ContractsFormal Methods for Industrial Critical Systems10.1007/978-3-031-43681-9_8(131-150)Online publication date: 20-Sep-2023
- Show More Cited By