Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output

Filter
Article
2020

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 Apr 2020, In : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

Research output: Contribution to journalArticle

Open Access
File

Search-based crash reproduction using behavioural model seeding

Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 May 2020, In : Software Testing, Verification and Reliability. 30, 3, e1733.

Research output: Contribution to journalArticle

Open Access
File
21 Downloads (Pure)
2019

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Research output: Contribution to journalArticle

3 Downloads (Pure)

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 15 Apr 2019, In : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

Research output: Contribution to journalArticle

Open Access
File
3 Downloads (Pure)
2018

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

Research output: Contribution to journalArticle

Open Access
File
34 Downloads (Pure)
2017

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Research output: Contribution to journalArticle

Open Access
File
125 Downloads (Pure)
2016

A Survey on Mobile Data Uses

Colot, C., Linden, I. & Baecke, P., 22 Jun 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3.

Research output: Contribution to journalArticle

How a BI-wise responsible integrated management system may support food traceability

Gianni, M., Gotzamani, K. & Linden, I., 1 Apr 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1.

Research output: Contribution to journalArticle

4 Downloads (Pure)

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Research output: Contribution to journalArticle

2015

On Distributed Density in Tuple-based Coordination Languages

Darquennes, D., Jacquet, J-M. & Linden, I., 12 Feb 2015, In : EPTCS. 175, p. 26-53

Research output: Contribution to journalArticle

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In : Science of Computer Programming. 105, p. 44-72 29 p.

Research output: Contribution to journalArticle

Open Access
File
106 Downloads (Pure)
2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Research output: Contribution to journalArticle

Open Access
File
257 Downloads (Pure)
2013

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Research output: Contribution to journalArticle

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Research output: Contribution to journalArticle

File
24 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 Dec 2013, In : EPTCS.

Research output: Contribution to journalArticle

File
12 Downloads (Pure)

Timed modelling of gene networks with arbitrarily precise expression discretization

Van Goethem, S., Jacquet, J. M., Brim, L. & Šafránek, D., 11 Mar 2013, In : Electronic Notes in Theoretical Computer Science. 293, p. 67-81 15 p.

Research output: Contribution to journalArticle

2009

Towards a Framework for Constraint-Based Test Case Generation

Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, In : Proceedings of LOPSTR 2009. 6037, p. 128-142 15 p.

Research output: Contribution to journalArticle

2004

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, In : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Research output: Contribution to journalArticle

Open Access
File
13 Downloads (Pure)