Conference
RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer
| Τίτλος: | RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer |
|---|---|
| Συγγραφείς: | Haghshenas, Mehrad, Xu, Meng |
| Πηγή: | Proceedings of the 1st International Workshop on Specification-Driven Development Life Cycle. :25-34 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3842652.3843196 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3842652.3843196 |
|---|