


Остановите войну!
for scientists:


default search action
Coen De Roover
Person information

- affiliation: Vrije Universiteit Brussel, Belgium
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j23]Quentin Stiévenart
, Dave W. Binkley, Coen De Roover
:
An empirical evaluation of quasi-static executable slices. J. Syst. Softw. 200: 111666 (2023) - [j22]Camilo Velázquez-Rodríguez
, Dario Di Nucci
, Coen De Roover
:
A text classification approach to API type resolution for incomplete code snippets. Sci. Comput. Program. 227: 102941 (2023) - [c102]Jens Van der Plas
, Jens Nicolay, Wolfgang De Meuter
, Coen De Roover
:
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis. ENASE 2023: 420-427 - [c101]Ahmed Zerouali, Ruben Opdebeeck
, Coen De Roover
:
Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks. MSR 2023: 523-533 - [c100]Ruben Opdebeeck
, Ahmed Zerouali, Coen De Roover
:
Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort? MSR 2023: 534-545 - [c99]Jens Van der Plas
, Quentin Stiévenart
, Coen De Roover
:
Result Invalidation for Incremental Modular Analyses. VMCAI 2023: 296-319 - [i8]Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese:
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CoRR abs/2306.05128 (2023) - [i7]Tom Mens, Coen De Roover:
An Introduction to Software Ecosystems. CoRR abs/2307.15709 (2023) - 2022
- [j21]Ahmed Zerouali
, Tom Mens, Alexandre Decan, Coen De Roover
:
On the impact of security vulnerabilities in the npm and RubyGems dependency networks. Empir. Softw. Eng. 27(5): 107 (2022) - [j20]Alexandre Decan
, Tom Mens
, Ahmed Zerouali
, Coen De Roover
:
Back to the Past - Analysing Backporting Practices in Package Dependency Networks. IEEE Trans. Software Eng. 48(10): 4087-4099 (2022) - [c98]Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
RacketLogger: Logging and Visualising Changes in DrRacket. ELS 2022: 61-68 - [c97]Quentin Stiévenart
, David W. Binkley, Coen De Roover
:
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. ICSE 2022: 2031-2042 - [c96]Camilo Velázquez-Rodríguez
, Eleni Constantinou, Coen De Roover
:
LiFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts. ICSME 2022: 489-493 - [c95]Ilyas Saïd Makari, Ahmed Zerouali, Coen De Roover
:
Prevalence and Evolution of License Violations in npm and RubyGems Dependency Networks. ICSR 2022: 85-100 - [c94]Ruben Opdebeeck
, Ahmed Zerouali, Coen De Roover
:
Smelly Variables in Ansible Infrastructure Code: Detection, Prevalence, and Lifetime. MSR 2022: 61-72 - [c93]Quentin Stiévenart
, Coen De Roover
, Mohammad Ghafari:
Security risks of porting C programs to webassembly. SAC 2022: 1713-1722 - [c92]Yunior Pacheco, Ahmed Zerouali, Coen De Roover:
Mining for Framework Instantiation Pattern Interplays. SCAM 2022: 121-131 - [c91]Bram Vandenbogaerde
, Quentin Stiévenart
, Coen De Roover
:
Summary-Based Compositional Analysis for Soft Contract Verification. SCAM 2022: 186-196 - [c90]Poedjadevie Kadjel Ramkisoen, John Businge, Brent van Bladel, Alexandre Decan, Serge Demeyer, Coen De Roover, Foutse Khomh:
PaReco: patched clones and missed patches among the divergent variants of a software family. ESEC/SIGSOFT FSE 2022: 646-658 - [c89]Camilo Velázquez-Rodríguez
, Eleni Constantinou, Coen De Roover
:
Uncovering Library Features from API Usage on Stack Overflow. SANER 2022: 207-217 - [c88]John Businge, Ahmed Zerouali, Alexandre Decan, Tom Mens, Serge Demeyer, Coen De Roover
:
Variant Forks - Motivations and Impediments. SANER 2022: 867-877 - 2021
- [j19]Quentin Stiévenart
, Noah Van Es
, Jens Van der Plas
, Coen De Roover
:
A parallel worklist algorithm and its exploration heuristics for static modular analyses. J. Syst. Softw. 181: 111042 (2021) - [j18]Ruben Opdebeeck
, Ahmed Zerouali
, Camilo Velázquez-Rodríguez
, Coen De Roover
:
On the practice of semantic versioning for Ansible galaxy roles: An empirical study and a change classification model. J. Syst. Softw. 182: 111059 (2021) - [j17]Maarten Vandercammen
, Laurent Christophe, Dario Di Nucci
, Wolfgang De Meuter
, Coen De Roover
:
Prioritising Server Bugs via Inter-process Concolic Testing. Art Sci. Eng. Program. 5(2): 5 (2021) - [j16]Ahmed Zerouali, Tom Mens, Coen De Roover
:
On the usage of JavaScript, Python and Ruby packages in Docker Hub images. Sci. Comput. Program. 207: 102653 (2021) - [c87]Ahmed Zerouali, Camilo Velázquez-Rodríguez
, Coen De Roover
:
Identifying Versions of Libraries used in Stack Overflow Code Snippets. MSR 2021: 341-345 - [c86]Ruben Opdebeeck
, Ahmed Zerouali, Coen De Roover
:
Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution. MSR 2021: 580-584 - [c85]Quentin Stiévenart
, Coen De Roover
, Mohammad Ghafari:
The Security Risk of Lacking Compiler Protection in WebAssembly. QRS 2021: 132-139 - [c84]Quentin Stiévenart, David W. Binkley, Coen De Roover:
QSES: Quasi-Static Executable Slices. SCAM 2021: 209-213 - [c83]Ruben Opdebeeck
, Johan Fabry, Tim Molderez, Jonas De Bleser, Coen De Roover
:
Mining for Graph-Based Library Usage Patterns in COBOL Systems. SANER 2021: 595-599 - [e2]Eli Tilevich, Coen De Roover:
GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021. ACM 2021, ISBN 978-1-4503-9112-2 [contents] - [i6]Ahmed Zerouali, Tom Mens, Alexandre Decan, Coen De Roover:
On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks. CoRR abs/2106.06747 (2021) - [i5]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
The Security Risk of Lacking Compiler Protection in WebAssembly. CoRR abs/2111.01421 (2021) - [i4]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
Security Risks of Porting C Programs to WebAssembly. CoRR abs/2112.11745 (2021) - 2020
- [j15]Fabiano Pecorelli
, Dario Di Nucci
, Coen De Roover
, Andrea De Lucia:
A large empirical assessment of the role of data balancing in machine-learning-based code smell detection. J. Syst. Softw. 169: 110693 (2020) - [c82]Jonas De Bleser, Dario Di Nucci
, Coen De Roover
:
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations. AST@ICSE 2020: 21-30 - [c81]Camilo Velázquez-Rodríguez
, Coen De Roover
:
Automatic library categorization. ICSE (Workshops) 2020: 733-734 - [c80]Noah Van Es
, Quentin Stiévenart
, Jens Van der Plas
, Coen De Roover
:
A Parallel Worklist Algorithm for Modular Analyses. SCAM 2020: 1-12 - [c79]Quentin Stiévenart
, Coen De Roover
:
Compositional Information Flow Analysis for WebAssembly Programs. SCAM 2020: 13-24 - [c78]Jens Van der Plas
, Quentin Stiévenart
, Noah Van Es
, Coen De Roover
:
Incremental Flow Analysis through Computational Dependency Reification. SCAM 2020: 25-36 - [c77]Noah Van Es
, Jens Van der Plas
, Quentin Stiévenart
, Coen De Roover
:
MAF: A Framework for Modular Static Analysis of Higher-Order Languages. SCAM 2020: 37-42 - [c76]Ruben Opdebeeck
, Ahmed Zerouali, Camilo Velázquez-Rodríguez
, Coen De Roover
:
Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution. SCAM 2020: 238-248 - [c75]Camilo Velázquez-Rodríguez
, Coen De Roover
:
MUTAMA: An Automated Multi-label Tagging Approach for Software Libraries on Maven. SCAM 2020: 254-258 - [e1]Dario Di Nucci, Coen De Roover:
Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, Brussels, Belgium, November 28th to 29th, 2019. CEUR Workshop Proceedings 2605, CEUR-WS.org 2020 [contents] - [i3]Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Prioritising Server Bugs via Inter-process Concolic Testing. CoRR abs/2010.16303 (2020)
2010 – 2019
- 2019
- [j14]Noah Van Es
, Quentin Stiévenart
, Coen De Roover
:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). Dagstuhl Artifacts Ser. 5(2): 07:1-07:2 (2019) - [j13]Reinout Stevens, Tim Molderez
, Coen De Roover
:
Querying distilled code changes to extract executable transformations. Empir. Softw. Eng. 24(1): 491-535 (2019) - [j12]Quentin Stiévenart
, Jens Nicolay
, Wolfgang De Meuter
, Coen De Roover
:
A general method for rendering static analyses for diverse concurrency models modular. J. Syst. Softw. 147: 17-45 (2019) - [c74]Hoang-Son Pham
, Siegfried Nijssen
, Kim Mens
, Dario Di Nucci
, Tim Molderez
, Coen De Roover
, Johan Fabry, Vadim Zaytsev:
Mining Patterns in Source Code Using Tree Mining Algorithms. DS 2019: 471-480 - [c73]Noah Van Es
, Quentin Stiévenart
, Coen De Roover
:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting. ECOOP 2019: 10:1-10:33 - [c72]Jonas De Bleser, Dario Di Nucci
, Coen De Roover
:
Assessing diffusion and perception of test smells in scala projects. MSR 2019: 457-467 - [c71]Tim Molderez
, Bjarno Oeyen
, Coen De Roover
, Wolfgang De Meuter
:
Marlon: a domain-specific language for multi-agent reinforcement learning on networks. SAC 2019: 1322-1329 - [c70]Dario Di Nucci, Hoang-Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, Vadim Zaytsev:
A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns. SATToSE 2019 - [c69]Jonas De Bleser, Dario Di Nucci
, Coen De Roover
:
SoCRATES: Scala radar for test smells. SCALA@ECOOP 2019: 22-26 - [c68]Fabiano Pecorelli
, Dario Di Nucci
, Coen De Roover, Andrea De Lucia:
On the role of data balancing for machine learning-based code smell detection. MaLTeSQuE@ESEC/SIGSOFT FSE 2019: 19-24 - [c67]Jens Nicolay
, Quentin Stiévenart
, Wolfgang De Meuter
, Coen De Roover
:
Effect-Driven Flow Analysis. VMCAI 2019: 247-274 - [c66]Yunior Pacheco
, Jonas De Bleser, Tim Molderez
, Dario Di Nucci
, Wolfgang De Meuter
, Coen De Roover
:
Mining Scala Framework Extensions for Recommendation Patterns. SANER 2019: 514-523 - [c65]Angel Luis Scull Pupo, Jens Nicolay
, Kyriakos Efthymiadis
, Ann Nowé
, Coen De Roover
, Elisa Gonzalez Boix
:
GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control. SANER 2019: 624-628 - 2018
- [j11]Maarten Vandercammen
, Stefan Marr
, Coen De Roover
:
A flexible framework for studying trace-based just-in-time compilation. Comput. Lang. Syst. Struct. 51: 22-47 (2018) - [j10]Laure Philips, Joeri De Koster
, Wolfgang De Meuter
, Coen De Roover
:
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications. Art Sci. Eng. Program. 2(2): 3 (2018) - [c64]Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Mining Extension Point Patterns in Scala. BENEVOL 2018: 16-20 - [c63]Maarten Hubrechts, Kennedy Kambona, Thierry Renaux, Simon Van de Water, Mathijs Saey, Coen De Roover, Wolfgang De Meuter:
Mete: a Meta Rete Interface for Distributed Rule-based Systems. BENEVOL 2018: 29-32 - [c62]Maarten Vandercammen, Laurent Christophe, Wolfgang De Meuter, Coen De Roover:
Concolic Testing of Full-Stack JavaScript Applications. BENEVOL 2018: 38-42 - [c61]Laurent Christophe, Coen De Roover
, Elisa Gonzalez Boix
, Wolfgang De Meuter
:
Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs. GPCE 2018: 107-118 - [c60]Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay
, Coen De Roover
, Elisa Gonzalez Boix
:
Practical Information Flow Control for Web Applications. RV 2018: 372-388 - [c59]Ward Muylaert
, Coen De Roover
:
[Research Paper] Untangling Composite Commits Using Program Slicing. SCAM 2018: 193-202 - [c58]Raula Gaikovina Kula
, Coen De Roover
, Daniel M. Germán, Takashi Ishio
, Katsuro Inoue:
A generalized model for visualizing library popularity, adoption, and diffusion within a software ecosystem. SANER 2018: 288-299 - 2017
- [j9]Noah Van Es
, Quentin Stiévenart
, Jens Nicolay
, Theo D'Hondt, Coen De Roover
:
Implementing a performant scheme interpreter for the web in asm.js. Comput. Lang. Syst. Struct. 49: 62-81 (2017) - [j8]Quentin Stiévenart
, Jens Nicolay
, Wolfgang De Meuter
, Coen De Roover
:
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 11:1-11:2 (2017) - [j7]Jens Nicolay
, Quentin Stiévenart
, Wolfgang De Meuter
, Coen De Roover
:
Purity analysis for JavaScript through abstract interpretation. J. Softw. Evol. Process. 29(12) (2017) - [c57]Maarten Vandercammen, Coen De Roover:
Employing Run-time Static Analysis to Improve Concolic Execution. BENEVOL 2017: 26-29 - [c56]Noah Van Es, Maarten Vandercammen, Coen De Roover:
Incrementalizing Abstract Interpretation. BENEVOL 2017: 31-35 - [c55]Ward Muylaert, Coen De Roover:
Untangling Source Code Changes Using Program Slicing. BENEVOL 2017: 36-38 - [c54]Tim Molderez, Coen De Roover, Wolfgang De Meuter:
Towards a Domain-Specific Language for Automated Network Management. BENEVOL 2017: 39-43 - [c53]Quentin Stiévenart
, Jens Nicolay
, Wolfgang De Meuter
, Coen De Roover
:
Mailbox Abstractions for Static Analysis of Actor Programs. ECOOP 2017: 25:1-25:30 - [c52]Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover:
Static Taint Analysis of Event-driven Scheme Programs. ELS 2017: 80-87 - [c51]Tim Molderez
, Reinout Stevens, Coen De Roover
:
Mining change histories for unknown systematic edits. MSR 2017: 248-256 - [c50]Ward Muylaert
, Coen De Roover
:
Prevalence of botched code integrations. MSR 2017: 503-506 - [c49]Reinout Stevens, Coen De Roover
:
Extracting executable transformations from distilled code changes. SANER 2017: 171-181 - [i2]Raula Gaikovina Kula, Coen De Roover, Daniel M. Germán, Takashi Ishio, Katsuro Inoue:
Modeling Library Dependencies and Updates in Large Software Repository Universes. CoRR abs/1709.04626 (2017) - [i1]Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover:
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications. CoRR abs/1712.01161 (2017) - 2016
- [j6]Johan Fabry, Coen De Roover
, Carlos Noguera, Steffen Zschaler
, Awais Rashid
, Viviane Jonckers
:
AspectJ code analysis and verification with GASR. J. Syst. Softw. 117: 528-544 (2016) - [c48]Jens Nicolay, Valentijn Spruyt, Coen De Roover:
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. PLAS@CCS 2016: 3-13 - [c47]Laure Philips, Joeri De Koster
, Wolfgang De Meuter
, Coen De Roover
:
Dependence-driven delimited CPS transformation for JavaScript. GPCE 2016: 59-69 - [c46]Maarten Vandercammen, Coen De Roover:
Improving trace-based JIT optimisation using whole-program information. VMIL@SPLASH 2016: 16-23 - [c45]Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover:
A performant scheme interpreter in asm.js. SAC 2016: 1944-1951 - [c44]Quentin Stiévenart
, Jens Nicolay
, Wolfgang De Meuter
, Coen De Roover
:
Building a modular static analysis framework in Scala (tool paper). SCALA@SPLASH 2016: 105-109 - [c43]Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover:
Scala-AM: A Modular Static Analysis Framework. SCAM 2016: 85-90 - [c42]Tim Molderez
, Coen De Roover
:
Search-Based Generalization and Refinement of Code Templates. SSBSE 2016: 192-208 - [c41]Laurent Christophe, Elisa Gonzalez Boix, Wolfgang De Meuter, Coen De Roover:
Linvail: A General-Purpose Platform for Shadow Execution of JavaScript. SANER 2016: 260-270 - [c40]Tim Molderez, Coen De Roover:
Automated Generalization and Refinement of Code Templates with Ekeko/X. SANER 2016: 669-672 - 2015
- [c39]Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover:
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. GTTSE 2015: 223-234 - [c38]Laurent Christophe, Coen De Roover, Wolfgang De Meuter:
Poster: Dynamic Analysis Using JavaScript Proxies. ICSE (2) 2015: 813-814 - [c37]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Poster: Static Analysis of Concurrent Higher-Order Programs. ICSE (2) 2015: 821-822 - [c36]Laure Philips, Wolfgang De Meuter
, Coen De Roover
:
Poster: Tierless Programming in JavaScript. ICSE (2) 2015: 831-832 - [c35]Maarten Vandercammen, Jens Nicolay, Stefan Marr
, Joeri De Koster, Theo D'Hondt, Coen De Roover:
A formal foundation for trace-based JIT compilers. WODA@SPLASH 2015: 25-30 - [c34]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Detecting concurrency bugs in higher-order programs through abstract interpretation. PPDP 2015: 232-243 - [c33]Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter:
Detecting function purity in JavaScript. SCAM 2015: 101-110 - 2014
- [j5]Coen De Roover, Christophe Scholliers
, Viviane Jonckers, Javier Pérez, Alessandro Murgia, Serge Demeyer:
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 65 (2014) - [j4]Reinout Stevens, Coen De Roover
, Carlos Noguera, Andy Kellens, Viviane Jonckers
:
A logic foundation for a general-purpose history querying tool. Sci. Comput. Program. 96: 107-120 (2014) - [c32]Coen De Roover, Reinout Stevens:
Building development tools interactively using the EKEKO meta-programming library. CSMR-WCRE 2014: 429-433 - [c31]Nicolás Cardozo, Laurent Christophe, Coen De Roover, Wolfgang De Meuter:
Run-time Validation of Behavioral Adaptations. COP@ECOOP 2014: 5:1-5:6 - [c30]Laurent Christophe, Reinout Stevens, Coen De Roover, Wolfgang De Meuter:
Prevalence and Maintenance of Automated Functional Tests for Web Applications. ICSME 2014: 141-150 - [c29]Reinout Stevens, Coen De Roover:
Querying the History of Software Projects Using QWALKEKO. ICSME 2014: 585-588 - [c28]Laure Philips, Coen De Roover, Tom Van Cutsem
, Wolfgang De Meuter:
Towards Tierless Web Development without Tierless Languages. Onward! 2014: 69-81 - [c27]Coen De Roover, Katsuro Inoue:
The Ekeko/X Program Transformation Tool. SCAM 2014: 53-58 - [c26]Naohiro Kawamitsu, Takashi Ishio
, Tetsuya Kanda, Raula Gaikovina Kula
, Coen De Roover, Katsuro Inoue:
Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity. SCAM 2014: 305-314 - [c25]Raula Gaikovina Kula
, Coen De Roover, Daniel M. Germán, Takashi Ishio
, Katsuro Inoue:
Visualizing the Evolution of Systems and Their Library Dependencies. VISSOFT 2014: 127-136 - 2013
- [j3]Coen De Roover, Christophe Scholliers
, Wouter Amerijckx, Theo D'Hondt, Wolfgang De Meuter:
CrimeSPOT: A language and runtime for developing active wireless sensor network applications. Sci. Comput. Program. 78(10): 1951-1970 (2013) - [c24]Reinout Stevens, Coen De Roover, Carlos Noguera, Viviane Jonckers:
A History Querying Tool and Its Application to Detect Multi-version Refactorings. CSMR 2013: 335-338 - [c23]Coen De Roover, Ralf Lämmel
, Ekaterina Pek:
Multi-dimensional exploration of API usage. ICPC 2013: 152-161 - [c22]Johan Fabry
, Coen De Roover, Viviane Jonckers:
Aspectual source code analysis with GASR. SCAM 2013: 53-62 - [c21]Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter:
Determining dynamic coupling in JavaScript using object type inference. SCAM 2013: 126-135 - 2012
- [c20]Carlos Noguera, Andy Kellens, Coen De Roover, Viviane Jonckers:
Refactoring in the presence of annotations. ICSM 2012: 337-346 - [c19]Carlos Noguera, Coen De Roover, Andy Kellens, Viviane Jonckers:
Code querying by UML. ICPC 2012: 229-238 - [c18]Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, Wolfgang De Meuter:
Interruptible context-dependent executions: a fresh look at programming context-aware applications. Onward! 2012: 67-84 - [c17]Stijn Timbermont, Coen De Roover, Theo D'Hondt:
Constructing Customized Interpreters from Reusable Evaluators Using Game. SC@TOOLS 2012: 97-113 - 2011
- [j2]Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens
, Theo D'Hondt:
Diagnosing and correcting design inconsistencies in source code with logical abduction. Sci. Comput. Program. 76(12): 1113-1129 (2011) - [c16]Coen De Roover:
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs. ICSM 2011: 556-561 - [c15]Carlos Noguera, Coen De Roover, Andy Kellens, Viviane Jonckers:
Program querying with a SOUL: The BARISTA tool suite. ICSM 2011: 582-585 - [c14]