Eva May

Affiliations:

Google Inc, London, UK
Saarland University, Saarbrücken, Germany

According to our database¹, Eva May authored at least 3 papers between 2014 and 2015.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

2014

Automating Full Functional Verification of Programs with Loops.

[BibT_eX]

[DOI]

CoRR, 2014

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

Eva May

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...