Code-level model checking in the software development workflow
| Title: | Code-level model checking in the software development workflow |
|---|---|
| Authors: | Chong, Nathan; Cook, Byron; Kallas, Konstantinos; Khazem, Kareem; Monteiro, Felipe R.; Schwartz-Narbonne, Daniel; Tasiran, Serdar; Tautschnig, Michael; Tuttle, Mark R. |
| Source: | Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice. :11-20 |
| Availability: | http://dl.acm.org/doi/10.1145/3377813.3381347 |
| Database: | ACM Full-Text Collection |