Change-aware preemption prioritization

No abstract is available for this paper.

• Publication year

  2011

• Venue

  International Symposium on Software Testing and Analysis

• Publication date

  2011-07-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2001420.2001437
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Regression testing minimization, selection and prioritization: a survey

  2012cited by this paper
• A practical guide for using statistical tests to assess randomized algorithms in software engineering

  2011cited by this paper
• Effective ?

  2010cited by this paper
• Line-up: a complete and automatic linearizability checker

  2010cited by this paper
• An effective dynamic analysis for detecting generalized deadlocks

  2010cited by this paper
• Preemption Sealing for Efficient Concurrency Testing

  2010cited by this paper
• MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

  2010cited by this paper
• MINTS: A general framework and tool for supporting test-suite minimization

  2009cited by this paper
• Regression model checking

  2009cited by this paper
• FastTrack: efficient and precise dynamic race detection

  2009cited by this paper
• Time-aware test-case prioritization using integer linear programming

  2009cited by this paper
• Incremental state-space exploration for programs with dynamically allocated data

  2008cited by this paper
• Regression Test Selection for AspectJ Software

  2007cited by this paper
• Iterative context bounding for systematic testing of multithreaded programs

  2007cited by this paper
• Parallel Randomized State-Space Search

  2007influential reference
• Controlling factors in evaluating path-sensitive error detection techniques

  2006cited by this paper
• Incremental Algorithms for Inter-procedural Analysis of Safety Properties

  2005cited by this paper
• Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact

  2005cited by this paper
• An experimental evaluation of continuous testing during development

  2004cited by this paper
• Chianti: a tool for change impact analysis of java programs

  2004cited by this paper
• Precise identification of side-effect-free methods in Java

  2004cited by this paper
• Leveraging field data for impact analysis and regression testing

  2003cited by this paper
• Extreme Model Checking

  2003cited by this paper
• Effectively prioritizing tests in development environment

  2002cited by this paper
• Test Case Prioritization: A Family of Empirical Studies

  2002cited by this paper
• Test-suite reduction and prioritization for modified condition/decision coverage

  2001cited by this paper
• Regression test selection for Java software

  2001cited by this paper
• Model checking programs

  2000influential reference
• A safe, efficient regression test selection technique

  1997cited by this paper
• Incremental Model Checking for Decomposable Structures (Extended Abstract)

  1995cited by this paper
• Incremental Model Checking in the Modal Mu-Calculus

  1994cited by this paper

• VeriFix: Verifying Your Fix Towards An Atomicity Violation

  2025cites this paper
• Differential Testing of Concurrent Classes

  2025influential citation
• Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads

  2022cites this paper
• ConTesa: Directed Test Suite Augmentation for Concurrent Software

  2020cites this paper
• Efficient Symbolic Execution of Concurrent Software

  2019cites this paper
• Constraint-Based Thread-Modular Abstract Interpretation

  2018cites this paper
• A Survey of Recent Trends in Testing Concurrent Software Systems

  2018cites this paper
• Change-Aware Dynamic Program Analysis for JavaScript

  2018cites this paper
• Datalog-Based Scalable Semantic Diffing of Concurrent Programs

  2018cites this paper
• Learning to Prioritize Test Programs for Compiler Testing

  2017cites this paper
• Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests

  2017cites this paper
• QTEP: quality-aware test case prioritization

  2017cites this paper
• SimEvo: Testing Evolving Multi-process Software Systems

  2017cites this paper
• Detecting potential deadlocks through change impact analysis

  2017cites this paper
• Conc-iSE: Incremental symbolic execution of concurrent software

  2016cites this paper
• Verifying Synchronization for Atomicity Violation Fixing

  2016cites this paper
• Systematic Concurrency Testing with Maximal Causality

  2015cites this paper
• Pegasus: automatic barrier inference for stable multithreaded systems

  2015cites this paper
• Deterministic dynamic race detection across program versions

  2015cites this paper
• RECONTEST: Effective Regression Testing of Concurrent Programs

  2015influential citation
• What change history tells us about thread synchronization

  2015cites this paper
• Stateless model checking concurrent programs with maximal causality reduction

  2015cites this paper
• JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)

  2015cites this paper
• TACO: test suite augmentation for concurrent programs

  2015cites this paper
• Testing, runtime verification, and analysis of concurrent programs

  2015cites this paper
• SIMEXPLORER: A testing framework to detect elusive software faults

  2014cites this paper
• SimRT: an automated framework to support regression testing for data races

  2014cites this paper
• Exploring Societal Computing based on the Example of Privacy

  2014cites this paper
• CONCURRIT: a domain specific language for reproducing concurrency bugs

  2013cites this paper
• Societal Computing Thesis proposal

  2013cites this paper
• End-User Regression Testing for Privacy

  2012cites this paper
• CONCURRIT: testing concurrent programs with programmable state-space exploration

  2012cites this paper
• Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code

  2012cites this paper
• Societal Computing

  2012cites this paper
• Evaluating Machine-Independent Metrics for State-Space Exploration

  2012cites this paper
• Understanding the interleaving-space overlap across inputs and software versions

  2012cites this paper
• Improved multithreaded unit testing

  2011cites this paper
• Automatic test suite evolution

  2011cites this paper