Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Parameterized Unit
Parameterized Unit
by jane-oiler
Testing. ICTSS’11 . Tutorial. Nikolai . Tillman...
What Do the Asserts in a Unit Test Tell us About Code Quali
What Do the Asserts in a Unit Test Tell us About Code Quali
by tatyana-admore
Mauricio Aniche. Gustavo . Oliva. Marco . Gerosa....
Open Source Software
Open Source Software
by trish-goza
Open Source Software Product Status The Johns Hop...
Algorithmic Software Verification
Algorithmic Software Verification
by briana-ranney
Ranjit Jhala, UC San Diego. Checking. Properties....
Using Types For Software Verification
Using Types For Software Verification
by conchita-marotz
Ranjit. . Jhala. , UC San . Diego. (with Pat . R...
Higher-Order Verification
Higher-Order Verification
by danika-pritchard
With Liquid . Types. Ranjit. . Jhala. , UC San D...