Nastaran Shafiei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RV | Actor-Based Runtime Verification with MESA. | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
| 2013 | ICSE | JST: an automatic test generation tool for industrial Java applications with strings. | Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang |
| 2013 | ICSE | Towards model checking of computer games with Java PathFinder. | Nastaran Shafiei, Franck van Breugel |