Wim Vanhoof

Identifiers

• name variant Wim Vanhoof 0.60 · backfill

Papers (8)

1. A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs cs.SE · 2015 · author #2
2. A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications cs.SE · 2015 · author #2
3. Static Application-Level Race Detection in STM Haskell using Contracts cs.LO · 2013 · author #2
4. A Test Automation Framework for Mercury cs.LO · 2010 · author #3
5. Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) cs.PL · 2007 · author #2
6. Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) cs.PL · 2007 · author #1
7. Fingerprinting Logic Programs cs.PL · 2007 · author #2
8. Offline Specialisation in Prolog Using a Hand-Written Compiler Generator cs.PL · 2002 · author #3

Mentions

• 1501.05821 #2 · backfill · confidence 0.70 Wim Vanhoof
• 1501.05265 #2 · backfill · confidence 0.70 Wim Vanhoof
• 1312.2706 #2 · backfill · confidence 0.70 Wim Vanhoof
• 1009.3765 #3 · backfill · confidence 0.70 Wim Vanhoof
• 0712.3116 #2 · backfill · confidence 0.70 Wim Vanhoof

Frequent Coauthors

• Jean-Luc Hainaut 2 shared papers
• Micha\"el Marcozzi 2 shared papers
• Alexander Serebrenik 1 shared papers
• Fran\c{c}ois Degrave 1 shared papers
• Jesper Joergensen 1 shared papers
• Maurice Bruynooghe 1 shared papers
• Michael Leuschel 1 shared papers
• Patricia Hill 1 shared papers
• Peter Biener 1 shared papers
• Romain Demeyer 1 shared papers
• Susana Munoz-Hernandez 1 shared papers