Nastaran Shafiei

According to our database1, Nastaran Shafiei authored at least 10 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Concurrent runtime verification of data rich events.
Int. J. Softw. Tools Technol. Transf., August, 2023

2020
Actor-Based Runtime Verification with MESA.
Proceedings of the Runtime Verification - 20th International Conference, 2020

2016
Towards Exhaustive Testing of Websites using JPF.
ACM SIGSOFT Softw. Eng. Notes, 2016

2014
Extending JPF to verify distributed systems.
ACM SIGSOFT Softw. Eng. Notes, 2014

Automatic handling of native methods in Java PathFinder.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013
Towards model checking of computer games with Java PathFinder.
Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

JST: an automatic test generation tool for industrial Java applications with strings.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Modeling class loaders in Java PathFinder version 7.
ACM SIGSOFT Softw. Eng. Notes, 2012

Tools to generate and check consistency of model classes for Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 2012

jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
CoRR, 2012


  Loading...