ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games
Gespeichert in:
| Veröffentlicht in: | TAP (14. : 2020 : Online) Tests and proofs |
|---|---|
| 1. Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Deductive Binary Code Verification Against Source-Code-Level Specifications | 2020 | Kamkin, Alexander |
| Testing for Race Conditions in Distributed Systems via SMT Solving | 2020 | Pereira, Jodo Carlos |
| SASA: A SimulAtor of Self-stabilizing Algorithms | 2020 | Altisen, Karine |
| SAT Modulo Differential Equation Simulations | 2020 | Kolárik, Tomás |
| Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries | 2020 | Khosrowjerdi, Hojat |
| Verified Runtime Assertion Checking for Memory Properties | 2020 | Ly, Dara |
| A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems | 2020 | Masci, Paolo |
| Mutation Testing of Smart Contracts at Scale | 2020 | Hartel, Pieter |
| Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning | 2020 | Aichernig, Bernhard K. |
| ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games | 2020 | Lester, Martin Mariusz |