From post

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.

 

Другие публикации лиц с тем же именем

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact., , и . Empirical Software Engineering, 10 (4): 405-435 (2005)Empirically driven SE research: state of the art and required maturity., и . ICSE, стр. 32. ACM, (2006)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 381-395. Springer, (2011)A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors., , , и . ICRA, стр. 901-908. IEEE, (2023)Freyja: A Full Multirotor System for Agile & Precise Outdoor Flights., , и . ICRA, стр. 217-223. IEEE, (2021)Detecting problematic message sequences and frequencies in distributed systems., , и . OOPSLA, стр. 915-926. ACM, (2012)Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot., и . ASE, стр. 136:1-136:5. ACM, (2022)Whitening SOA testing., , , и . ESEC/SIGSOFT FSE, стр. 161-170. ACM, (2009)Using assertions to help end-user programmers create dependable web macros., , , , , и . SIGSOFT FSE, стр. 124-134. ACM, (2008)Differential symbolic execution., , , и . SIGSOFT FSE, стр. 226-237. ACM, (2008)