|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Concolic testing of the multi-sector read operation for flash storage platform software |
Kim, Moonzoo |
2011 |
24 | 3 |
p. 355-374 |
article |
|
| 2 | Editorial |
Woodcock, Jim |
2012 |
24 | 3 |
p. 303 |
article |
|
| 3 | John McCarthy (1927–2011) |
Jones, Cliff B. |
2012 |
24 | 3 |
p. 305-306 |
article |
|
| 4 | Temporal-logic property preservation under Z refinement |
Derrick, John |
2011 |
24 | 3 |
p. 393-416 |
article |
|
| 5 | Testing interruptions in reactive systems |
Andrade, Wilkerson L. |
2011 |
24 | 3 |
p. 331-353 |
article |
|
| 6 | Using fold-in and fold-out in the architecture recovery of software systems |
Risi, Michele |
2011 |
24 | 3 |
p. 307-330 |
article |
|
| 7 | Verifying compiled file system code |
Mühlberg, Jan Tobias |
2011 |
24 | 3 |
p. 375-391 |
article |
7 results found