Mahdi Eslamimehr
Mahdi Eslamimehr
SAP Labs/Viewpoints/YCombinator
E-mail confirmado em - Página inicial
TítuloCitado porAno
Sherlock: scalable deadlock detection for concurrent programs
M Eslamimehr, J Palsberg
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
Race Directed Scheduling of Concurrent Programs
M Eslamimehr, J Palsberg
PPOPP, 2014
Testing versus static analysis of maximum stack size
M Eslamimehr, J Palsberg
2013 IEEE 37th Annual Computer Software and Applications Conference, 619-626, 2013
The Survey of Model Based Testing and Industrial Tools
M Eslamimehr
Master Thesis, Linköping University, 2008
Recognising and Generating Terms using Derivatives of Parsing Expression Grammars
AW Tony Garnock-Jones, Mahdi Eslamimehr, 2018
Constraints as a design pattern
H Samimi, A Warth, M Eslamimehr, A Borning
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
Efficient detection and validation of atomicity violations in concurrent programs
M Eslamimehr, M Lesani, G Edwards
Journal of Systems and Software 137, 618-635, 2018
Retargetable Communication for Distributed Programs
O Freiberg, J Palsberg, M Eslamimehr
2016 12th International ACM SIGSOFT Conference on Quality of Software …, 2016
End-to-End Cross-Language Test Case Generation for Web Applications
M Eslamimehr, G Edwards
9th EAI International Conference on Performance Evaluation Methodologies and …, 2015
AtomChase: Directed search towards atomicity violations
M Eslamimehr, M Lesani
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
End-to-End Cross-Language Test Case Generation for Web Applications
GE Mahdi Eslamimehr
Performance Evaluation Methodologies and Tools, 2015
Timing Analysis of Event-Driven Programs with Directed Testing
M Eslamimehr, H Samimi
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), 2015
Directed Testing of Event-Driven and Parallel Programs
MM Eslamimehr
UCLA, 2014
Race Directed Scheduling of Concurrent Program
M Eslamimehr, J Palsberg
US Patent App. 61/904,977, 1014
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–14