Samira Tasharofi

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Test Data Generation

Top Venues

Publications

Samira Tasharofi, Peter Dinges, Ralph E. Johnson
Why Do Scala Developers Mix the Actor Model with other Concurrency Models? ECOOP (2013)
Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson
Bita: Coverage-guided, automatic testing of actor programs. ASE (2013)
Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE (2012)
Mohsen Vakilian, Stas Negara, Samira Tasharofi, Ralph E. Johnson
Keshmesh: a tool for detecting and fixing java concurrency bug patterns. OOPSLA Companion (2011)
Samira Tasharofi, Marjan Sirjani
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Samira Tasharofi, Fahimeh Raja, Farhad Oroumchian, Masoud Rahgozar
Evaluation of statistical part of speech tagging of persian text. ISSPA (2007)
Samira Tasharofi, Raman Ramsin
Process Patterns for Agile Methodologies. Situational Method Engineering (2007)
Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani
Modeling Web Service Interactions Using the Coordination Language Reo. WS-FM (2007)
Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
Automated Mapping of Reo Circuits to Constraint Automata. Electron. Notes Theor. Comput. Sci. 159 (2006)
Samira Tasharofi, Sepand Ansari, Marjan Sirjani
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. ICFEM (2006)