The Spec# Programming System: An Overview
This study explored healthcare professionals’ attitudes toward counselling patients on disclosing genetic cancer risk to relatives. Genetic counselling practices in Swede...
Publications
2 shownUnit tests reloaded: parameterized unit testing with symbolic execution
Unit tests are becoming popular. Are there ways to automate the generation of good unit tests? Parameterized unit tests are unit tests that depend on inputs. PUTs describe behav...
Frequent Co-Authors
Researcher Info
- h-index
- 2
- Publications
- 2
- Citations
- 1,052
- Institution
- Microsoft (United States)
External Links
Impact Metrics
h-index
2
h-index: Number of publications with at least h citations each.