Nastaran Shafiei

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 3

Top Topics

Temporal Properties

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Int. J. Softw. Tools Technol. Transf.

Publications

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Actor-Based Runtime Verification with MESA. RV (2020)
Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid
Towards Exhaustive Testing of Websites using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Nastaran Shafiei, Franck van Breugel
Automatic handling of native methods in Java PathFinder. SPIN (2014)
Nastaran Shafiei, Peter C. Mehlitz
Extending JPF to verify distributed systems. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang
JST: an automatic test generation tool for industrial Java applications with strings. ICSE (2013)
Nastaran Shafiei, Franck van Breugel
Towards model checking of computer games with Java PathFinder. GAS@ICSE (2013)
Matteo Ceccarello, Nastaran Shafiei
Tools to generate and check consistency of model classes for Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Nastaran Shafiei, Peter C. Mehlitz
Modeling class loaders in Java PathFinder version 7. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Mateusz Ujma, Nastaran Shafiei
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent CoRR (2012)