Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient testing of actor programs with non-deterministic behaviors. University of Illinois Urbana-Champaign, USA, (2013)Keshmesh: a tool for detecting and fixing java concurrency bug patterns., , , and . OOPSLA Companion, page 39-40. ACM, (2011)Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm., , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 478-493. Springer, (2006)Setac: A Framework for Phased Deterministic Testing Scala Actor Programs, , , and . (2011)Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM., and . FOCLASA@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 155-174. Elsevier, (2008)Bita: Coverage-guided, automatic testing of actor programs, , , and . 2013 28th IEEE/ACM International Conference on Automated Software Engineering, page 114-124. (November 2013)Why Do Scala Developers Mix the Actor Model with other Concurrency Models?, , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 302-326. Springer, (2013)Modeling Web Service Interactions Using the Coordination Language Reo., , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Evaluation of statistical part of speech tagging of persian text., , , and . ISSPA, page 1-4. IEEE, (2007)Automated Mapping of Reo Circuits to Constraint Automata., , and . FSEN, volume 159 of Electronic Notes in Theoretical Computer Science, page 99-115. Elsevier, (2005)