相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。General LTL Specification Mining
Caroline Lemieux et al.
2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) (2015)
Automatically Generating Test Cases for Specification Mining
Valentin Dallmeier et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
The Daikon system for dynamic detection of likely invariants
Michael D. Ernst et al.
SCIENCE OF COMPUTER PROGRAMMING (2007)
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
Robert I. Davis et al.
REAL-TIME SYSTEMS (2007)
Synthesis of interface specifications for Java classes
R Alur et al.
ACM SIGPLAN NOTICES (2005)
Mining specifications
G Ammons et al.
ACM SIGPLAN NOTICES (2002)
Dynamically discovering likely program invariants to support program evolution
MD Ernst et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2001)