Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Samimi, Hesam"'
Autor:
Eslamimehr, Mahdi, Samimi, Hesam
Accurately estimating the worst-case execution time (WCET) of real-time event-driven software is crucial. For example, NASA's study of unintended acceleration in Toyota vehicles highlights poor support in timing analysis for event-driven code, which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0177e090bae5e6128350785292399eba
Autor:
Samimi, Hesam
Publikováno v:
Samimi, Hesam. (2013). From Validation to Automated Repair & Beyond with Constraint Solving. UCLA: Computer Science 0201. Retrieved from: http://www.escholarship.org/uc/item/8136k59p
Tremendous amounts of software engineering efforts go into the validation of software. Developers rely on many forms of software validation, from unit tests to assertions and formal specifications, dynamic contract checking to static formal verificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::389a42be7b33b1b1bb9c54d0dff9bb29
http://n2t.net/ark:/13030/m5s75z1v
http://n2t.net/ark:/13030/m5s75z1v
Publikováno v:
ICSE: International Conference on Software Engineering; Feb2012, p277-287, 11p
Autor:
Samimi, Hesam, Rajan, Kaushik
Publikováno v:
Proceedings of the 13th Workshop: Formal Techniques for Java-Like Programs; Jul2011, p1-7, 7p
Publikováno v:
Ecoop 2010 - Object-oriented Programming; 2010, p552-576, 25p