24 results on '"Braione, A"'
Search Results
2. Path-optimal symbolic execution of heap-manipulating programs.
3. A Survey of Field-based Testing Techniques.
4. Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution.
5. About the special issue on: 'Distributed Complex Systems: Governance, Engineering, and Maintenance'.
6. Automatically generating test cases for safety-critical software via symbolic execution.
7. SUSHI and TARDIS at the SBST2019 tool competition.
8. Design for Testability of ERMTS Applications.
9. SUSHI: a test generator for programs with complex structured inputs.
10. Combining symbolic execution and search-based testing for programs with complex heap inputs.
11. Facilitating program performance profiling via evolutionary symbolic execution.
12. JBSE: a symbolic executor for Java programs with complex heap inputs.
13. A Context-Aware Style of Software Design.
14. Symbolic execution of programs with heap inputs.
15. Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.
16. An industrial case study of the effectiveness of test generators.
17. Structural coverage of feasible code.
18. On the Integration of Software Testing and Formal Analysis.
19. On Calculi for Context-Aware Coordination.
20. Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.
21. Enhancing structural software coverage by incrementally computing branch executability.
22. Classification methods and inductive learning rules: what we may learn from theory.
23. A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications.
24. Automatic detection of bad smells in code: An experimental assessment.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.