46 results on '"Pastore, Fabrizio"'
Search Results
2. Fuzzing for CPS Mutation Testing
3. DaMAT: A Data-driven Mutation Analysis Tool
4. Message from the Program Co-Chairs: ISSRE 2022
5. ATUA: an update-driven app testing tool
6. HUDD
7. MASS
8. HUDD: A tool to debug DNNs for safety analysis
9. MASS: A tool for Mutation Analysis of Space CPS
10. Metamorphic Security Testing for Web Systems
11. CPSDebug: a tool for explanation of failures in cyber-physical systems
12. SMRL
13. Bridging the Gap between Requirements Modeling and Behavior-Driven Development
14. MCP: A Security Testing Tool Driven by Requirements
15. A Natural Language Programming Approach for Requirements-Based Security Testing
16. Automated Generation of Constraints from Use Case Specifications to Support System Testing
17. An Exploratory Study of Field Failures
18. BDCI: behavioral driven conflict identification
19. VART: a tool for the automatic detection of regression faults
20. Timed k-Tail: Automatic Inference of Timed Automata
21. System Testing of Timing Requirements Based on Use Cases and Timed Automata
22. Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T)
23. UMTG: a toolset to automatically generate system test cases from use case specifications
24. Automatic generation of system test cases from use case specifications
25. ZoomIn: Discovering Failures by Detecting Wrong Assertions
26. Generating Complex and Faulty Test Data through Model-Based Mutation Analysis
27. Early Conflict Detection with Mined Models
28. MIMIC
29. Verification-aided regression testing
30. RADAR: A tool for debugging regression problems in C/C++ Software
31. AVA: Supporting Debugging with Failure Interpretations
32. CrowdOracles: Can the Crowd Solve the Oracle Problem?
33. Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T).
34. Dynamic Analysis of Upgrades in C/C++ Software
35. MASH: A tool for end-user plug-in composition
36. Supporting Test Suite Evolution through Test Case Adaptation
37. Supporting plug-in mashes to ease tool integration
38. Automatically repairing test cases for evolving method declarations
39. AVA
40. A toolset for automated failure analysis
41. Automated Identification of Failure Causes in System Logs
42. Investigation of failure causes in workload-driven reliability testing
43. RADAR: A Tool for Debugging Regression Problems in C/C++ Software.
44. MASH: A Tool for End-User Plug-In Composition.
45. Supporting plug-in mashes to ease tool integration.
46. A Toolset for Automated Failure Analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.