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.

 

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

Experimental assessment of random testing for object-oriented software., , , и . ISSTA, стр. 84-94. ACM, (2007)A comparative study of programmer-written and automatically inferred contracts., , и . ISSTA, стр. 93-104. ACM, (2009)Seamless Requirements., и . CoRR, (2017)Certificates and Separation Logic., , и . TGC, том 8358 из Lecture Notes in Computer Science, стр. 273-293. Springer, (2013)A Framework for Proving Contract-Equipped Classes.. Abstract State Machines, том 2589 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2003)Specifying Reusable Components., , и . VSTTE, том 6217 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2010)Program Checking with Less Hassle., , , и . VSTTE, том 8164 из Lecture Notes in Computer Science, стр. 149-169. Springer, (2013)Flexible Invariants through Semantic Collaboration., , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 514-530. Springer, (2014)Reasoning about Function Objects., , , , и . TOOLS (48), том 6141 из Lecture Notes in Computer Science, стр. 79-96. Springer, (2010)Applying Search in an Automatic Contract-Based Testing Tool., , и . SSBSE, том 8084 из Lecture Notes in Computer Science, стр. 318-323. Springer, (2013)