( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.

, и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 39-58. Springer, (2001)

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.

Steve Goddard {Haitao Zhu, Matthew B. Dwyer}

Matthew B. Hastings

Eduard Dwyer

John Dwyer

Axel Dwyer-Holighaus

 

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

Reducing irrelevant trace variations., , и . ASE, стр. 477-480. ACM, (2007)Exploiting Partial Success in Applying Automated Formal Methods.. ICFEM, том 6447 из Lecture Notes in Computer Science, стр. 21. Springer, (2010)Reducing DNN Properties to Enable Falsification with Adversarial Attacks., , и . ICSE, стр. 275-287. IEEE, (2021)Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks., , и . ICSE (Companion Volume), стр. 162-163. IEEE, (2021)Sibyl: Improving Software Engineering Tools with SMT Selection., , и . ICSE, стр. 2185-2197. IEEE, (2023)Measuring and Mitigating Gaps in Structural Testing., , , и . ICSE, стр. 1712-1723. IEEE, (2023)Selecting Server Parameters for Predictable Runtime Monitoring., , и . IEEE Real-Time and Embedded Technology and Applications Symposium, стр. 227-236. IEEE Computer Society, (2010)Reducing the Cost of Path Property Monitoring Through Sampling., , и . ASE, стр. 228-237. IEEE Computer Society, (2008)Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis., и . ASE, стр. 124-133. ACM, (2007)Exact and approximate probabilistic symbolic execution for nondeterministic programs., , , , и . ASE, стр. 575-586. ACM, (2014)