JSXM: A Tool for Automated Test Generation.
Autor: | Dranidis, Dimitris, Bratanis, Konstantinos, Ipate, Florentin |
---|---|
Zdroj: | Software Engineering & Formal Methods; 2012, p352-366, 15p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Dranidis, Dimitris, Bratanis, Konstantinos, Ipate, Florentin |
---|---|
Zdroj: | Software Engineering & Formal Methods; 2012, p352-366, 15p |
Databáze: | Complementary Index |
Externí odkaz: |