Name
Abstract | ||
|---|---|---|
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 customized to automate testing. The methodology generates unit-level tests, greatly reducing test generation time and cost while providing excellent test co... |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1109/MS.2017.3571576 | IEEE Software |
Keywords | Field | DocType |
C++ languages,Embedded software,Payloads,Software testing,Automatic testing | Test harness,Code coverage,Programming language,Test Management Approach,Software engineering,Computer science,Software performance testing,Regression testing,Concolic testing,Symbolic execution,Keyword-driven testing | Journal |
Volume | Issue | ISSN |
34 | 5 | 0740-7459 |
Citations | PageRank | References |
1 | 0.36 | 10 |
Authors | ||
8 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hiroaki Yoshida | 1 | 77 | 6.69 |
| Guodong Li | 2 | 154 | 6.18 |
| Takuki Kamiya | 3 | 1 | 0.36 |
| Indradeep Ghosh | 4 | 407 | 43.54 |
| Sreeranga Rajan | 5 | 44 | 8.17 |
| Susumu Tokumoto | 6 | 8 | 2.55 |
| Kazuki Munakata | 7 | 14 | 2.17 |
| Tadahiro Uehara | 8 | 115 | 9.66 |