Sylvain Hallé

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

2022

Are Backdoor Mandates Ethical? - A Position Paper.

[BibT_eX]

[DOI]

IEEE Technol. Soc. Mag., 2022

An approach to apply Automated Acceptance Testing for Industrial Robotic Systems.

[BibT_eX]

[DOI]

Marcela G. dos Santos

Yann-Gaël Guéhéneuc

Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

Synthia: a Generic and Flexible Data Structure Generator.

[BibT_eX]

[DOI]

Marc-Antoine Plourde

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature Reviews.

[BibT_eX]

[DOI]

Fábio Octaviano

Kátia Romero Felizardo

Sandra C. P. F. Fabbri

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Towards Continuous Systematic Literature Review in Software Engineering.

[BibT_eX]

[DOI]

Marcos Kalinowski

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021

Automata-based monitoring for LTL-FO<sup>+</sup>.

[BibT_eX]

[DOI]

Yannick Lebrun

Int. J. Softw. Tools Technol. Transf., 2021

The Botnet Simulator: A simulation tool for understanding the interaction between botnets.

[BibT_eX]

[DOI]

Xavier Chamberland-Thibeault

Softw. Impacts, 2021

An An Empirical Study of Web Page Structural Properties.

[BibT_eX]

[DOI]

J. Web Eng., 2021

The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

Detecting trend deviations with generic stream processing patterns.

[BibT_eX]

[DOI]

Inf. Syst., 2021

A survey of malware detection in Android apps: Recommendations and perspectives for future research.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2021

Continuous Systematic Literature Review: An Approach for Open Science.

[BibT_eX]

[DOI]

CoRR, 2021

Computer Simulations of Scientific Peer Reviewing.

[BibT_eX]

[DOI]

IEEE Access, 2021

Model Checking of Stream Processing Pipelines.

[BibT_eX]

[DOI]

Alexis Bédard

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Offline monitoring of LTL with bit vectors.

[BibT_eX]

[DOI]

Kun Xie

Xavier Chamberland-Thibeault

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Automated Repair of Layout Bugs in Web Pages with Linear Programming.

[BibT_eX]

[DOI]

Stéphane Jacquet

Proceedings of the Web Engineering - 21st International Conference, 2021

Test Sequence Generation with Cayley Graphs.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Runtime Verification Under Access Restrictions.

[BibT_eX]

[DOI]

Rania Taleb

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

A Modular Runtime Enforcement Model Using Multi-traces.

[BibT_eX]

[DOI]

Rania Taleb

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping.

[BibT_eX]

[DOI]

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Establishing a Search String to Detect Secondary Studies in Software Engineering.

[BibT_eX]

[DOI]

Kátia Romero Felizardo

Érica Ferreira de Souza

Nandamudi L. Vijaykumar

Elisa Yumi Nakagawa

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Foundations of Fine-Grained Explainability.

[BibT_eX]

[DOI]

Hugo Tremblay

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors.

[BibT_eX]

[DOI]

Kun Xie

CoRR, 2020

A Tertiary and Secondary Study Canvas.

[BibT_eX]

[DOI]

CoRR, 2020

A Generic Explainability Framework for Function Circuits.

[BibT_eX]

[DOI]

Hugo Tremblay

Proceedings of the 12th International Workshop on Theory and Practice of Provenance, 2020

Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem.

[BibT_eX]

[DOI]

Stéphane Jacquet

Xavier Chamberland-Thibeault

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Structural Profiling of Web Sites in the Wild.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 20th International Conference, 2020

Detecting Responsive Web Design Bugs with Declarative Specifications.

[BibT_eX]

[DOI]

Oussama Beroual

Francis Guérin

Proceedings of the Web Engineering - 20th International Conference, 2020

An Analysis of the Use of CVEs by IoT Malware.

[BibT_eX]

[DOI]

Asma Razgallah

Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020

Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report.

[BibT_eX]

[DOI]

Kátia Romero Felizardo

Érica Ferreira de Souza

Tamiris Malacrida

Nandamudi L. Vijaykumar

Elisa Yumi Nakagawa

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

Open Source Software Development Process: A Systematic Review.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Explainable Queries over Event Logs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

2019

Improving Hyperconnected Logistics With Blockchains and Smart Contracts.

[BibT_eX]

[DOI]

IT Prof., 2019

10 Years of IoT Malware: A Feature-Based Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Efficient Generation of Test Data with Extended Cardinality Constraints.

[BibT_eX]

[DOI]

Michaël Larouche

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension.

[BibT_eX]

[DOI]

Mohamed Ilyes Rahim

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, 2019

Predictive Analytics for Event Stream Processing.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

2018

Decentralized enforcement of document lifecycle constraints.

[BibT_eX]

[DOI]

Inf. Syst., 2018

Streamlining the Inclusion of Computer Experiments In a Research Paper.

[BibT_eX]

[DOI]

Mewena Awesso

Computer, 2018

A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

Writing Domain-Specific Languages for BeepBeep.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Real-Time Data Mining for Event Streams.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017

A Declarative Approach to Network Device Configuration Correctness.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2017

From Complex Event Processing to Simple Event Processing.

[BibT_eX]

[DOI]

CoRR, 2017

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

[BibT_eX]

[DOI]

Comput. Entertain., 2017

A position-independent method for soil types recognition using inertial data from a wearable device.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Runtime Verification of User Interface Guidelines in Mobile Devices.

[BibT_eX]

[DOI]

Chafik Meniar

Florence Opalvens

Proceedings of the Runtime Verification - 17th International Conference, 2017

A Few Things We Heard About RV Tools (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Event Stream Processing with Multiple Threads.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Event Stream Processing with BeepBeep 3.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

SealTest: a simple library for test sequence generation.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

LabPal: repeatable computer experiments made easy.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers.

[BibT_eX]

[DOI]

Oussama Beroual

Francis Guerin

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Monitoring of Security Properties Using BeepBeep.

[BibT_eX]

[DOI]

Mohamed Recem Boussaha

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

2016

Declarative layout constraints for testing web applications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report.

[BibT_eX]

[DOI]

Yannick Lebrun

CoRR, 2016

Fault Localization in Web Applications via Model Finding.

[BibT_eX]

[DOI]

Oussama Beroual

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Real-Time Streaming Communication With Optical Codes.

[BibT_eX]

[DOI]

Kun Xie

IEEE Access, 2016

Third International Competition on Runtime Verification - CRV 2016.

[BibT_eX]

[DOI]

Giles Reger

Yliès Falcone

Proceedings of the Runtime Verification - 16th International Conference, 2016

When RV Meets CEP.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing.

[BibT_eX]

[DOI]

Bruno Bouchard

Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2016

Execution Trace Analysis Using LTL-FO ^+.

[BibT_eX]

[DOI]

Omar Waldmann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Three Views of Log Trace Triaging.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016

Decentralized Enforcement of Artifact Lifecycles.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016

A glue language for event stream processing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Activity Recognition Through Complex Event Processing: First Findings.

[BibT_eX]

[DOI]

Bruno Bouchard

Proceedings of the Artificial Intelligence Applied to Assistive Technologies and Smart Environments, 2016

2015

On piggyback runtime monitoring of object-oriented programs.

[BibT_eX]

[DOI]

Jason Vallet

Raphaël Tremblay-Lessard

Int. J. Softw. Tools Technol. Transf., 2015

MapReduce for parallel trace validation of LTL properties.

[BibT_eX]

[DOI]

Maxime Soucy-Boivin

J. Cloud Comput., 2015

A generalized monitor verdict for log trace triaging.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Program Comprehension through Dynamic Analysis, 2015

Graph Methods for Generating Test Cases with Universal and Existential Constraints.

[BibT_eX]

[DOI]

Edmond La Chance

Proceedings of the Testing Software and Systems, 2015

A data model for management of network device configuration heterogeneity.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Testing Web Applications Through Layout Constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Runtime Enforcement with Partial Control.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

Runtime Monitoring of Stream Logic Formulae.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

A Declarative Language Interpreter for CEP.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015

2014

Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 5th International Conference, 2014

Portable Runtime Verification with Smartphones and Optical Codes.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 5th International Conference, 2014

Solving Equations on Words with Morphisms and Antimorphisms.

[BibT_eX]

[DOI]

Michaël Larouche

Proceedings of the Language and Automata Theory and Applications, 2014

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

[BibT_eX]

[DOI]

Simon Varvaressos

Kim Lavoie

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Exhaustive Exploration of Ajax Web Applications with Selective Jumping.

[BibT_eX]

[DOI]

Gabriel Le Breton

Fabien Maronnaud

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

A Reference Framework for the Automated Exploration of Web Applications.

[BibT_eX]

[DOI]

Gabriel Le Breton

Nicolas Bergeron

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

A Formalization of Complex Event Stream Processing.

[BibT_eX]

[DOI]

Simon Varvaressos

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014

2013

Multipseudoperiodic Words.

[BibT_eX]

[DOI]

Sarah Desmeules

Int. J. Found. Comput. Sci., 2013

Cooperative runtime monitoring.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2013

Automated exploration and analysis of ajax web applications with WebMole.

[BibT_eX]

[DOI]

Gabriel Le Breton

Fabien Maronnaud

Proceedings of the 22nd International World Wide Web Conference, 2013

Solving equations on words through boolean satisfiability.

[BibT_eX]

[DOI]

Michaël Larouche

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Runtime Monitoring of Temporal Logic Properties in a Platform Game.

[BibT_eX]

[DOI]

Simon Varvaressos

Dominic Vaillancourt

Proceedings of the Runtime Verification - 4th International Conference, 2013

Distributed firewall anomaly detection through LTL model checking.

[BibT_eX]

[DOI]

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

2012

Runtime Enforcement of Web Service Message Contracts with Data.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2012

A Logical Approach to Data-Aware Automated Sequence Generation.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2012

Reasoning about visibility.

[BibT_eX]

[DOI]

J. Appl. Log., 2012

SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

BabelTrace: A Collection of Transducers for Trace Validation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

MapReduce for Parallel Trace Validation of LTL Properties.

[BibT_eX]

[DOI]

Benjamin Barre

Mathieu Klein

Maxime Soucy-Boivin

Pierre-Antoine Ollivier

Proceedings of the Runtime Verification, Third International Conference, 2012

Firewall anomaly detection with a model checker for visibility logic.

[BibT_eX]

[DOI]

Bassam Khorchani

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

ValidMaker: A tool for managing device configurations using logical constraints.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Towards a semantic virtualization of configurations.

[BibT_eX]

[DOI]

Petko Valtchev

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

A Case for "Piggyback" Runtime Monitoring.

[BibT_eX]

[DOI]

Raphaël Tremblay-Lessard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments.

[BibT_eX]

[DOI]

Jérôme Calvar

Raphaël Tremblay-Lessard

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Constraint-based invocation of stateful web services: The beep store (case study).

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Pseudoperiodic Words.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Guest Editorial.

[BibT_eX]

[DOI]

Dragan Gasevic

Georg Grossmann

J. Res. Pract. Inf. Technol., 2011

Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit".

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Message from the EVL-BP 2011 Workshop Chairs.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

Runtime Verification of Web Service Interface Contracts.

[BibT_eX]

[DOI]

Computer, 2010

Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Realizability analysis for message-based interactions using shared-state projections.

[BibT_eX]

[DOI]

Tevfik Bultan

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Cooperative Runtime Monitoring of LTL Interface Contracts.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

2009

Specifying and Validating Data-Aware Temporal Web Service Properties.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Strong Temporal, Weak Spatial Logic for Rule Based Filters.

[BibT_eX]

[DOI]

Proceedings of the TIME 2009, 2009

Runtime monitoring of web service choreographies using streaming XML.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Generating Interface Grammars from WSDL for Automated Verification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Flexible and reliable messaging using runtime monitoring.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Dynamic and declarative business processes.

[BibT_eX]

[DOI]

Dragan Gasevic

Georg Grossmann

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Satisfying a Fragment of XQuery by Branching-Time Reduction.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

XML Methods for Validation of Temporal Properties on Message Traces with Data.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Runtime Monitoring of Message-Based Workflows with Data.

[BibT_eX]

[DOI]

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

Extending Model Checking to Data-Aware Temporal Properties of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Model Checking Data-Aware Workflow Properties with CTL-FO+.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006

CTL Model Checking for Labelled Tree Queries.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Self-configuration of Network Devices with Configuration Logic.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Networking, First International IFIP TC6 Conference, 2006

An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Machine Learning and Applications, 2006

2005

Configuration Logic: A Multi-site Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.

[BibT_eX]

[DOI]