Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Takuki Kamiya"'
Autor:
Takuki Kamiya, Susumu Tokumoto, Kazuki Munakata, Guodong Li, Hiroaki Yoshida, Indradeep Ghosh, Tadahiro Uehara, Sreeranga P. Rajan
Publikováno v:
IEEE Software. 34:30-37
Fujitsu researchers have developed a methodology to automate testing of industrial-strength embedded software implemented in C or C++. The methodology’s core is a program analysis technique called symbolic execution, which the researchers have cust
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f543611aea669d8614029caf9793635c
https://doi.org/10.1109/ms.2017.3571576
https://doi.org/10.1109/ms.2017.3571576
