共 50 条
- [1] Compositional testing with ioco [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 86 - 100
- [2] A compositional testing framework driven by partial specifications [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 107 - +
- [3] Matching Implementations to Specifications: The Corner Cases of ioco [J]. SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 2196 - 2205
- [4] Testing real-time systems from compositional symbolic specifications [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
- [6] Complete Composition Operators for ioco-Testing Theory [J]. 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), 2015, : 101 - 110
- [7] Compositional interaction specifications for SystemC [J]. FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 201 - 201
- [9] Constructive specifications for compositional units [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 198 - 214
- [10] Testing robustness of communicating systems using ioco-based approach [J]. ISCC: 2009 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1 AND 2, 2009, : 1101 - +