Cited By
View all- Poroor JJayaraman BChandrasekhar RTanenbaum ARangan P(2012)Formal analysis of event-driven cyber physical systemsProceedings of the First International Conference on Security of Internet of Things10.1145/2490428.2490429(1-8)Online publication date: 17-Aug-2012
- Bester WInggs CVisser WKroeze Jde Villiers R(2012)Test-case generation and bug-finding through symbolic executionProceedings of the South African Institute for Computer Scientists and Information Technologists Conference10.1145/2389836.2389838(1-9)Online publication date: 1-Oct-2012
- Feng XMarr SO'Callaghan TZhou ZCarette J(2012)Function SubstitutionProceedings of the 2012 12th International Conference on Quality Software10.1109/QSIC.2012.32(31-40)Online publication date: 27-Aug-2012
- Show More Cited By