11 results on '"Tabaei AS"'
Search Results
2. Mutation Testing with Hyperproperties
3. Error Invariants for Concurrent Traces
4. Abstraction and Mining of Traces to Explain Concurrency Bugs
5. Mining Sequential Patterns to Explain Concurrent Counterexamples
6. Counterexample Explanation by Anomaly Detection
7. Epidemiology
8. Error Invariants for Concurrent Traces.
9. Abstraction and Mining of Traces to Explain Concurrency Bugs.
10. Mining Sequential Patterns to Explain Concurrent Counterexamples.
11. Counterexample Explanation by Anomaly Detection.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.