Xavier Devroey
  • Home
  • Publications
  • Courses
  • SNAIL team
ESC

Searching...

No results found

↑↓ Navigate ↵ Select
Powered by Hugo Blox
  • Publications
    • Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
    • Staying or Leaving? How Job Satisfaction, Embeddedness and Antecedents Predict Turnover Intentions of Software Professionals
    • The Software Infrastructure Attitude Scale (SIAS): A Questionnaire Instrument for Measuring Professionals' Attitudes Toward Technical and Sociotechnical Infrastructure.
    • PRECOG: Pull Request Prioritization and Visualization
    • Ponderarium, a place for Cyber Physical System conformity assessment
    • FETT: Fault Injection as an Educational and Training Tool in Cybersecurity
    • Energy Codesumption, Leveraging Test Execution for Source Code Energy Consumption Analysis
    • A3S3 - Automated Android Audit of Safety and Security Signals
    • A Public Benchmark of REST APIs
    • Towards debiasing code review support
    • FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform
    • SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT
    • Exploiting Semantic Search and Object-Oriented Programming to Ease Multimodal Interface Development
    • Towards LLM-Generated Code Tours for Onboarding
    • Debt Stories: Capturing Social and Technical Debt in the Industry
    • VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems' Logs
    • Towards Feature-based ML-enabled Behaviour Location
    • An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing
    • JUGE: An infrastructure for benchmarking Java unit test generators
    • Towards Automated Testing for Simple Programming Exercises
    • Generating Class-Level Integration Tests Using Call Site Information
    • Basic block coverage for search-based unit testing and crash reproduction
    • GitDelver Enterprise Dataset (GDED): An Industrial Closed-source Dataset for Socio-Technical Research
    • Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition
    • Modéliser
    • Experience Report on Soft and Project Skills Building through Repetition
    • VaryMinions: Leveraging RNNs to Identify Variants in Event Logs
    • Report from the 2nd Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '20)
    • Crash reproduction difficulty, an initial assessment
    • An Application of Model Seeding to Search-based Unit Test Generation for Gson
    • Commonality-Driven Unit Test Generation
    • It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction
    • Botsing, a Search-based Crash Reproduction Framework for Java
    • Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
    • Crash Reproduction Using Helper Objectives
    • Pandemic Programming: How COVID-19 affects software developers and how their organizations can help
    • Java Unit Testing Tool Competition - Eighth Round
    • Search-based Crash Reproduction using Behavioral Model Seeding
    • A benchmark-based evaluation of search-based crash reproduction
    • MALTESQUE 2019 Workshop Summary
    • Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19)
    • A Decade of Featured Transition Systems
    • Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
    • AbsCon : A Test Concretizer for Model-based Testing
    • Effective and efficient API misuse detection via exception propagation and search-based testing
    • Java Unit Testing Tool Competition - Seventh Round
    • Towards Automated Test Case Generation Maturity
    • Uniform Sampling of SAT Solutions for Configurable Systems : Are We There Yet ?
    • Model-based mutant equivalence detection using automata language equivalence and simulations
    • Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction
    • Statistical prioritization for software product line testing: an experience report
    • Yo variability! JHipster: a playground for web-apps analyses
    • Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
    • Behavioural model-based testing of software product lines
    • On Featured Transition Systems
    • Towards Security-aware Mutation Testing
    • Featured model-based mutation analysis
    • Search-based Similarity-driven Behavioural SPL Testing
    • Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
    • Poster : VIBeS , Transition System Mutation Made Easy
    • State machine flattening, a mapping study and tools assessment
    • A Variability Perspective of Mutation Analysis
    • Abstract Test Case Generation for Behavioural Testing of Software Product Lines
    • Coverage Criteria for Behavioural Testing of Software Product Lines
    • Towards Statistical Prioritization for Software Product Lines Testing
    • A Vision for Behavioural Model-Driven Validation of Software Product Lines
    • Generating High-Level Event-B System Models from KAOS Requirements Models
    • Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Java Unit Testing Tool Competition - Seventh Round

Jan 1, 2019·
Fitsum Kifetew
Xavier Devroey
Xavier Devroey
,
Urko Rueda
· 0 min read
PDF DOI Code Project
Last updated on Jan 1, 2019
Search-Based Software Testing
Xavier Devroey
Authors
Xavier Devroey
Professor

← Effective and efficient API misuse detection via exception propagation and search-based testing Jan 1, 2019
Towards Automated Test Case Generation Maturity Jan 1, 2019 →

© 2026 Xavier Devroey. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox. Create yours →