共 50 条
- [32] Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering Software and Systems Modeling, 2021, 20 : 1857 - 1887
- [33] Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering SOFTWARE AND SYSTEMS MODELING, 2021, 20 (06): : 1857 - 1887
- [35] Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing Software Quality Journal, 2011, 19 (04): : 691 - 723
- [37] pRnR: A Parallel Record-Replay Framework for Virtual Machines 2020 IEEE 38TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2020), 2020, : 610 - 618
- [38] Efficient search-based inference for noisy-OR belief networks: TopEpsilon UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 1996, : 325 - 331
- [39] Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing Software Quality Journal, 2011, 19
- [40] Automatic Test Data Generation Using the Activity Diagram and Search-Based Technique APPLIED SCIENCES-BASEL, 2020, 10 (10):