( en | de | ru )

 

Disambiguation of "Eisenbach, Susan"

Author of the publication

copydeleteadd this publication to your clipboard
High coverage testing of Haskell programs.

, , and . ISSTA, page 375-385. ACM, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

Astrid Sunarti Susanto-Sunario

Anneliese Eisenbach

Georg Eisenbach

Yeni Susanti

Timotius Susantija

 

Other publications of authors with the same name

Higher-order type-level programming in Haskell., , , and . Proc. ACM Program. Lang., 3 (ICFP): 102:1-102:26 (2019)Reuse and Abuse., and . J. Object Technol., 6 (1): 139-167 (2007)Modelling Darwin in the Pi-Caculus., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 133-152. Springer, (1994)Formal underpinnings of Java.. OOPSLA Addendum, ACM, (1998)High coverage testing of Haskell programs., , and . ISSTA, page 375-385. ACM, (2011)REGIS-DARWIN specified in the π-calculus., , and . CDS, page 213. IEEE Computer Society, (1994)Finding the needle: stack traces for GHC., , and . Haskell, page 129-140. ACM, (2009)Verification of Policy-Based Self-Managed Cell Interactions Using Alloy., , , and . POLICY, page 37-40. IEEE Computer Society, (2009)LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!)., and . LISA, page 199-210. USENIX, (2001)Evolution of Distributed Java Programs., , and . Component Deployment, volume 2370 of Lecture Notes in Computer Science, page 51-66. Springer, (2002)