|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers |
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs. |
SCAM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers |
Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers |
The SOUL tool suite for querying programs in symbiosis with Eclipse. |
PPPJ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover |
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Noguera, Coen De Roover, Andy Kellens, Viviane Jonckers |
Program querying with a SOUL: The BARISTA tool suite. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson Matthys, Sam Michiels, Wouter Joosen, Christophe Scholliers, Coen De Roover, Wouter Amerijckx, Theo D'Hondt |
Language and middleware support for dynamism in wireless sensor and actuator network applications. |
MidSens |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Kellens, Carlos Noguera, Kris De Schutter, Coen De Roover, Theo D'Hondt |
Co-evolving Annotations and Source Code through Smart Annotations. |
CSMR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt |
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien |
Behavioral similarity matching using concrete source code templates in logic queries. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation |
| 1 | Johan Brichau, Coen De Roover, Kim Mens |
Open Unification for Program Query Languages. |
SCCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt |
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts. |
ICDL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt |
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Coen De Roover, Johan Brichau, Theo D'Hondt |
Combining fuzzy logic and behavioral similarity for non-strict program validation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation |
| 1 | Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt |
Program Testing Using High-Level Property-Driven Models. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Coen De Roover, Kris Gybels, Theo D'Hondt |
Towards Abstract Interpretation for Recovering Design Information. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")