共 50 条
- [31] Pattern discovery and specification techniques for alarm correlation NOMS '98 - 1998 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS 1-3, 1998, : 713 - 722
- [32] Automatically generating test cases for specification mining IEEE Trans Software Eng, 2 (243-257):
- [33] Language for Use Case Specification 2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 19 - 26
- [34] Test cases generation based on formal specification Jiefangjun Ligong Daxue Xuebao, 2009, 4 (318-323):
- [35] Towards CRISP-BC: 3TIC specification framework for Blockchain use-cases IET Blockchain, 2023, 3 (03): : 159 - 168
- [37] A SPECIFICATION FOR THE USE OF RATIONALIZATION IN TESTING BETRIEBSWIRTSCHAFTLICHE FORSCHUNG UND PRAXIS, 1985, 37 (04): : 277 - 290
- [40] Facilitating the construction of specification pattern-based properties 13TH IEEE INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2005, : 329 - 338