Generating test cases for specification mining

No abstract is available for this paper.

• Publication year

  2010

• Venue

  International Symposium on Software Testing and Analysis

• Publication date

  2010-07-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1831708.1831719
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic synthesis of behavior protocols for composable web-services

  2009cited by this paper
• Invariant-based automatic testing of AJAX user interfaces

  2009cited by this paper
• Generating Fixes from Object Behavior Anomalies

  2009cited by this paper
• Using formal specifications to support testing

  2009cited by this paper
• Programs That Test Themselves

  2009cited by this paper
• Automatic generation of software behavioral models

  2008influential reference
• Static Specification Mining Using Automata-Based Abstractions

  2007cited by this paper
• Detecting object usage anomalies

  2007cited by this paper
• Hybrid Concolic Testing

  2007cited by this paper
• Korat: A Tool for Generating Structurally Complex Test Inputs

  2007cited by this paper
• Static specification inference using predicate mining

  2007cited by this paper
• Experimental assessment of random testing for object-oriented software

  2007cited by this paper
• Modular typestate checking of aliased objects

  2007cited by this paper
• Refinement-based context-sensitive points-to analysis for Java

  2006cited by this paper
• Effective typestate verification in the presence of aliasing

  2006cited by this paper
• Continuous code-quality assurance with SAFE

  2006influential reference
• Mining object behavior with ADABU

  2006cited by this paper
• The Spec# Programming System: Challenges and Directions

  2005cited by this paper
• Scalable statistical bug isolation

  2005cited by this paper
• Online testing with model programs

  2005influential reference
• Typestates for Objects

  2004cited by this paper
• Search‐based software test data generation: a survey

  2004cited by this paper
• Evolutionary testing of classes

  2004cited by this paper
• Evolutionary testing of classes

  2004cited by this paper
• A new structural coverage criterion for dynamic detection of program invariants

  2003cited by this paper
• Mutually Enhancing Test Generation and Specification Inference

  2003cited by this paper
• Automatic extraction of object-oriented component interfaces

  2002cited by this paper
• Mining specifications

  2002cited by this paper
• Dynamically discovering likely program invariants to support program evolution

  1999cited by this paper
• Discovering models of software processes from event-based data

  1998influential reference
• Typestate: A programming language concept for enhancing software reliability

  1986influential reference
• Symbolic execution and program testing

  1976cited by this paper
• Language Identification in the Limit

  1967cited by this paper

• NADA: Neural Acceptance-Driven Approximate Specification Mining

  2025cites this paper
• A Systematic Literature Review on Mining LTL Specifications

  2025cites this paper
• Constrained LTL Specification Learning from Examples

  2024cites this paper
• Do LLMs generate test oracles that capture the actual or the expected program behaviour?

  2024cites this paper
• An interview study about the use of logs in embedded software engineering

  2023cites this paper
• How do programmers fix bugs as workarounds? An empirical study on Apache projects

  2023cites this paper
• Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques

  2023cites this paper
• Inferring Bug Signatures to Detect Real Bugs

  2022cites this paper
• RVprio: A tool for prioritizing runtime verification violations

  2022cites this paper
• SOSRepair: Expressive Semantic Search for Real-World Program Repair

  2021cites this paper
• AmPyfier: Test amplification in Python

  2021cites this paper
• Adversarial Specification Mining

  2021influential citation
• Blindspots in Python and Java APIs Result in Vulnerable Code

  2021cites this paper
• QMine: A Framework for Mining Quantitative Regular Expressions from System Traces

  2020cites this paper
• Prioritizing Runtime Verification Violations

  2020cites this paper
• An Empirical Study on API Parameter Rules

  2020cites this paper
• Learning a graph-based classifier for fault localization

  2020cites this paper
• Generating a Generic Fluent API in Java

  2020cites this paper
• Will Dependency Conflicts Affect My Program's Semantics?

  2020cites this paper
• Amplification Automatique de Tests Unitaires pour DevOps

  2020cites this paper
• A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

  2020cites this paper
• Interactive Semi-automated Specification Mining for Debugging: An Experience Report

  2019cites this paper
• Automatic Unit Test Amplification For DevOps

  2019cites this paper
• How effective are existing Java API specifications for finding bugs during runtime verification?

  2019influential citation
• Pay attention and you won’t lose it: a deep learning approach to sequence imputation

  2019cites this paper
• Techniques for Evolution-Aware Runtime Verification

  2019cites this paper
• Automatically Generating Precise Oracles from Structured Natural Language Specifications

  2019cites this paper
• Deep Learning for System Trace Restoration

  2019cites this paper
• White-Box Program Tuning

  2019cites this paper
• An Empirical Study on API Usages

  2019cites this paper
• A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs

  2018cites this paper
• Deep specification mining

  2018cites this paper
• Mining Timed Regular Specifications from System Traces

  2018cites this paper
• Operationalizing Operational Logics

  2018cites this paper
• Inferring Extended Probabilistic Finite-State Automaton Models from Software Executions

  2018cites this paper
• Advancing Practical Specification Techniques for Modern Software Systems

  2018cites this paper
• Analysis of web system by using model-based testing with selenium tool

  2018cites this paper
• Automated Specification Extraction and Analysis with Specstractor

  2018cites this paper
• LSTM-based restoration of lossy data to improve anomaly detection algorithms

  2018cites this paper
• Mining specifications using nested words

  2017cites this paper
• Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining

  2017cites this paper
• TREM: A tool for mining timed regular specifications from system traces

  2017cites this paper
• Automated game design learning

  2017cites this paper
• The Emerging Field of Test Amplification: A Survey

  2017cites this paper
• Dynamic Analysis of Web System by Using Model-Based Testing and Process Crawler Model

  2017cites this paper
• Directed test generation and analysis for web applications

  2017cites this paper
• A snowballing literature study on test amplification

  2017influential citation
• Automatic model learning and its applications in malware detection

  2017cites this paper
• Automated and reliable resource release in device drivers based on dynamic analysis

  2017cites this paper
• How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications

  2016cites this paper
• Mining and checking paired functions in device drivers using characteristic fault injection

  2016cites this paper
• PF-Miner: A practical paired functions mining method for Android kernel in error paths

  2016cites this paper
• Automated test generation for production systems with a model-based testing approach. (Génération de tests automatisés pour des systèmes de production avec une approche basée modèle)

  2016cites this paper
• Towards Model Construction Based on Test Cases and GUI Extraction

  2016cites this paper
• Behaviour abstraction adequacy criteria for API call protocol testing

  2016cites this paper
• Mining timed regular expressions from system traces

  2016cites this paper
• Specification: The Biggest Bottleneck in Formal Methods and Autonomy

  2016cites this paper
• Inconsistencies in the

  2016cites this paper
• Investigating Program Behavior Using the Texada LTL Specifications Miner

  2015cites this paper
• Recovering Workflows from Functional Tests

  2015cites this paper
• Mining Workflow Models from Web Applications

  2015cites this paper
• Empirically Detecting False Test Alarms Using Association Rules

  2015cites this paper
• Using contexts to extract models from code

  2015cites this paper
• Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques

  2015cites this paper
• General LTL Specification Mining (T)

  2015cites this paper
• A framework for mining hybrid automata from input/output traces

  2015cites this paper
• Inferring software behavioral models with MapReduce

  2015cites this paper
• TLV: abstraction through testing, learning, and validation

  2015influential citation
• The Art and Science of Analyzing Software Data

  2015cites this paper
• Scalable Parallelization of Specification Mining Using Distributed Computing

  2015cites this paper
• Knowledge transition: Discovering workflow models from functional tests

  2015cites this paper
• DSpot: Test Amplification for Automatic Assessment of Computational Diversity

  2015cites this paper
• Mining process models and architectural components from test cases

  2015cites this paper
• Interpolated n-grams for model based testing

  2014cites this paper
• Dynamic Package Interfaces

  2014cites this paper
• Leveraging existing tests in automated test generation for web applications

  2014cites this paper
• Solving complex path conditions through heuristic search on induced polytopes

  2014cites this paper
• Behavioral resource-aware model inference

  2014cites this paper
• PF-Miner: A New Paired Functions Mining Method for Android Kernel in Error Paths

  2014cites this paper
• An Observe-Model-Exercise* Paradigm to Test Event-Driven Systems with Undetermined Input Spaces

  2014cites this paper
• ProCrawl: mining test models from multi-user web applications

  2014cites this paper
• Synthesis of Infinite-State Abstractions and Their Use for Software Validation

  2014cites this paper
• Effective Program Analyses for Automated Software Testing and Error Diagnosis

  2014influential citation
• Preparation-free and comprehensive runtime verification tool for testing Java programs

  2014cites this paper
• Enabledness-based Program Abstractions for Behaviour Validation

  2014influential citation
• Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples

  2013cites this paper
• Testing GUI-based Software with Undetermined Input Spaces

  2013cites this paper
• Enabledness-based program abstractions for behavior validation

  2013cites this paper
• Temporal Specification Mining for Anomaly Analysis

  2013cites this paper
• Detecting and tolerating data corruptions due to device driver defects

  2013cites this paper
• TzuYu: Learning stateful typestates

  2013influential citation
• A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages

  2013cites this paper
• Dynamic Package Interfaces - Extended Version

  2013influential citation
• Mining behavior models from enterprise web applications

  2013cites this paper
• Behaviour Abstraction Coverage as Black-Box Adequacy Criteria

  2013cites this paper
• N-Gram Based Test Sequence Generation from Finite State Models

  2013cites this paper
• Analysis of Dynamic Message Passing Programs (A framework for the analysis of depth-bounded systems )

  2013cites this paper
• Discovering complete API rules with mutation testing

  2012cites this paper
• Exploring Realistic Program Behavior

  2012cites this paper
• Program analyses for automatic and precise error detection

  2012cites this paper