We stand with Ukraine  

Susannah Mansky

Orcid: 0000-0001-5489-4677

According to our database1, Susannah Mansky authored at least 5 papers between 2019 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Regression Test Selection.
[BibTeX]
[DOI]
Susannah Mansky
Arch. Formal Proofs, 2021

JinjaDCI: a Java semantics with dynamic class initialization.
[BibTeX]
[DOI]
Susannah Mansky
Arch. Formal Proofs, 2021

2020
Verified collection-based regression test selection via an extended Jinja semantics
[BibTeX]
[DOI]
Susannah Mansky
PhD thesis, 2020

Safety of a Smart Classes-Used Regression Test Selection Algorithm.
[BibTeX]
[DOI]
Susannah Mansky
,
Elsa L. Gunter
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019
Dynamic class initialization semantics: a jinja extension.
[BibTeX]
[DOI]
Susannah Mansky
,
Elsa L. Gunter
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019


  Loading...