Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 2010 2019

Filtre
Article dans les actes d'une conférence/un colloque
2019
8 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Black-box testing
Application programming interfaces (API)

Effective and efficient API misuse detection via exception propagation and search-based testing

Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 10 juil. 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Moller, A. & Zhang, D. (eds.). New York, New York, USA: ACM Press, p. 192-203 12 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Application programming interfaces (API)
Testing

Java Unit Testing Tool Competition - Seventh Round

Kifetew, F., Devroey, X. & Rueda, U., 1 mai 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-20 6 p. 8812209. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Testing

Towards Automated Test Case Generation Maturity

Rueda, U., Kifetew, F. & Devroey, X., 1 mai 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 9-10 2 p. 8812190. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Industry

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 avr. 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, p. 240-251 12 p. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
Sampling
Testing
Cost effectiveness
Experiments
Linux
2018

Single-objective versus multi-objectivized optimization for evolutionary crash reproduction

Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., 1 janv. 2018, Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Proceedings. Springer Verlag, p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11036 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Crash
Optimization
Weighted Sums
Scalarization
Fitness Function
2017
13 Downloads (Pure)

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 13 mars 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (ICST '17).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Automata theory
Finite automata
14 Downloads (Pure)

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., janv. 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Testing

Testing Variability-Intensive Systems

Perrouin, G., Devroey, X. & Cordy, M., 26 sept. 2017, SPLC 2017 - 21st International Systems and Software Product Line Conference, Proceedings. Fuentes, L., Bagheri, E., Ruiz-Cortes, A., Benavides, D., Capilla, R., Xiong, Y., Bosch, J., Acher, M., Schall, D., Cohen, M. & Troya, J. (eds.). New York, New York, USA: ACM Press, Vol 1. p. 255-255 1 p. (SPLC '17).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Testing
Costs
38 Downloads (Pure)

Towards Security-aware Mutation Testing

Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P., 13 mars 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017: Mutation 2017. IEEE, p. 97-102 6 p. 7899041. (ICSTW '17).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Software engineering
Engines
Testing
106 Downloads (Pure)

Yo Variability! JHipster: A Playground for Web-Apps Analyses

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P., 1 févr. 2017, Proceedings - VaMoS 2017: 11th International Workshop on Variability Modelling of Software-Intensive Systems. Schaefer, I., ter Beek, M. H. & Siegmund, N. (eds.). Eindhoven, Netherlands: ACM Press, p. 44-51 8 p. (VaMoS '17).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Application programs
Teaching
Students
Sampling
Linux
2016
101 Downloads (Pure)

Featured Model-based Mutation Analysis

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., mai 2016, Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
36 Downloads (Pure)

Search-based Similarity-driven Behavioural SPL Testing

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 janv. 2016, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Evolutionary algorithms
2015
173 Downloads (Pure)

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Momentum
49 Downloads (Pure)

Poster: VIBeS, Transition System Mutation Made Easy

Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P., 12 août 2015, Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol 2. p. 817-818 2 p. 7203084

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Testing
DSL
Momentum
Chemical activation

State machine flattening, a mapping study and tools assessment

Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 mai 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Scalability
Large scale systems
Availability
Testing
2014
51 Downloads (Pure)

Abstract test case generation for behavioural testing of software product lines

Devroey, X., Perrouin, G. & Schobbens, P-Y., 15 sept. 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol 2. p. 86-93 8 p. (SPLC '14).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Testing
Scalability
Engineers
297 Downloads (Pure)

A Variability Perspective of Mutation Analysis

Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 nov. 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Defects
Model checking
Testing
203 Downloads (Pure)

Coverage criteria for behavioural testing of software product lines

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 nov. 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Software Product Lines
Transition Systems
Coverage
Testing
Websites
90 Downloads (Pure)

State Machine Flattening: Mapping Study and Assessment

Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 mars 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Scalability
Large scale systems
Availability
Testing
204 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P., janv. 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14. p. 10:1-10:7 8 p. 10

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Sampling
Testing
Markov processes
Explosions
5 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 janv. 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . ACM Press, 7 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Markov processes
Explosions
Sampling
2012
109 Downloads (Pure)

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 oct. 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS. p. 208-222 15 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Quality assurance
Model checking
Vending machines
Testing
2011
83 Downloads (Pure)

Generating High-Level Event-B System Models from KAOS Requirements Models

Ponsard, C. & Devroey, X., 2011, INFORSID: Actes du XXIXème Congrès INFORSID. p. 317-332 16 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File