Samira Tasharofi

According to our database, Samira Tasharofi authored at least 11 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Efficient testing of actor programs with non-deterministic behaviors

Samira Tasharofi

PhD thesis, 2013

Bita: Coverage-guided, automatic testing of actor programs.

Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Why Do Scala Developers Mix the Actor Model with other Concurrency Models?

Samira Tasharofi, Peter Dinges, Ralph E. Johnson

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Keshmesh: a tool for detecting and fixing java concurrency bug patterns.

Mohsen Vakilian, Stas Negara, Samira Tasharofi, Ralph E. Johnson

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2008

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.

Samira Tasharofi, Marjan Sirjani

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

2007

Modeling Web Service Interactions Using the Coordination Language Reo.

Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Evaluation of statistical part of speech tagging of persian text.

Samira Tasharofi, Fahimeh Raja, Farhad Oroumchian, Masoud Rahgozar

Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007

Process Patterns for Agile Methodologies.

Samira Tasharofi, Raman Ramsin

Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

2006

Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.

Samira Tasharofi, Sepand Ansari, Marjan Sirjani

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Automated Mapping of Reo Circuits to Constraint Automata.

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005