Concepedia

Nastaran Shafiei

NS

3

Publications

59

Citations

3

H-Index

2013

Active since

Affiliations

Ames Research Center(Current)

Nastaran Shafiei is an author at Ames Research Center specializing in engineering, formal methods, and software analysis.

Top concepts

Publications per year

2013–2014

3

Publications

3

Automatic handling of native methods in Java PathFinder

Nastaran Shafiei, Franck van Breugel · 2014 · 24 citations

, , +17

JST: An automatic test generation tool for industrial Java applications with strings

Indradeep Ghosh, Nastaran Shafiei, Guodong Li et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 22 citations

, , +25

Extending JPF to verify distributed systems

Nastaran Shafiei, Peter Mehlitz · ACM SIGSOFT Software Engineering Notes · 2014 · 13 citations

, , +18

Rows per page

1–3 of 3