Research group on the foundations of computer sciences

  • 5000

    Belgique

Résultat de recherche

Filtrer
Article
2020

Generalization-Driven Semantic Clone Detection in CLP

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

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File

Search-based crash reproduction using behavioural model seeding

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

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
19 Téléchargements (Pure)
2019

Anti-unification in Constraint Logic Programming

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

Résultats de recherche: Contribution à un journal/une revueArticle

3 Téléchargements (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 avr. 2019, Dans : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
1 Téléchargements (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 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
34 Téléchargements (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 févr. 2017, Dans : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
103 Téléchargements (Pure)
2016

A Survey on Mobile Data Uses

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

Résultats de recherche: Contribution à un journal/une revueArticle

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

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

Résultats de recherche: Contribution à un journal/une revueArticle

On the Introduction of Density in Tuple-Space Coordination Languages

Titre traduit de la contribution: De l'introduction de la densité dans les langages de coordination d'espaces de tuplesDarquennes, D., Jacquet, J-M. & Linden, I., janv. 2016, Dans : Science of Computer Programming. 115, p. 149-176

Résultats de recherche: Contribution à un journal/une revueArticle

4 Téléchargements (Pure)

Real-time model-driven engineering: An overview

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

Résultats de recherche: Contribution à un journal/une revueArticle

2015

On Distributed Density in Tuple-based Coordination Languages

Darquennes, D., Jacquet, J-M. & Linden, I., 12 févr. 2015, Dans : EPTCS. 175, p. 26-53

Résultats de recherche: Contribution à un journal/une revueArticle

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

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

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
87 Téléchargements (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 févr. 2014, Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
242 Téléchargements (Pure)

Proposals for the integration of interactive dashboards in business process monitoring to support resources allocation decisions

Linden, I., 3 juil. 2014, Dans : Journal of Decision Systems. 23, 3, p. 318-332 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

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 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Modeling and Specification of Distributed Timed Systems

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

Résultats de recherche: Contribution à un journal/une revueArticle

File
24 Téléchargements (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 déc. 2013, Dans : EPTCS.

Résultats de recherche: Contribution à un journal/une revueArticle

File
12 Téléchargements (Pure)

Timed modelling of gene networks with arbitrarily precise expression discretization

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

Résultats de recherche: Contribution à un journal/une revueArticle

2009

Towards a Framework for Constraint-Based Test Case Generation

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

Résultats de recherche: Contribution à un journal/une revueArticle

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, Dans : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
13 Téléchargements (Pure)