共 50 条
- [41] Driving Behavior Simulator of Lane Changing using User-designed Interface 2016 5TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2016, : 493 - 497
- [42] Testing concurrent user behavior of synchronous web applications with Petri nets Software & Systems Modeling, 2019, 18 : 913 - 936
- [44] Automated refinement of models for model-based testing using exploratory testing Software Quality Journal, 2017, 25 : 979 - 1005
- [47] Testing File System Implementations on Layered Models 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 1483 - 1495
- [49] Filtering Test Models to Support Incremental Testing TESTING - PRACTICE AND RESEARCH TECHNIQUES, 2010, 6303 : 72 - 87
- [50] The Hardware Interface Design In SoC With Verilog Language 2009 IITA INTERNATIONAL CONFERENCE ON SERVICES SCIENCE, MANAGEMENT AND ENGINEERING, PROCEEDINGS, 2009, : 30 - +