Dynamic testing

Dynamic testing (or dynamic analysis) is a term used in software engineering to describe the testing of the dynamic behavior of code. That is… (More)
Wikipedia

Related topics

Related topics

15 relations
Acceptance testingArtifact (software development)Cantata++Daikon (system)
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Automated Security Test Generation with Formal Threat Models
Security attacks typically result from unintended behaviors or invalid inputs. Security testing is labor intensive because a real… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2009
2009
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates… (More)
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Population-Based Incremental Learning With Associative Memory for Dynamic Environments
In recent years, interest in studying evolutionary algorithms (EAs) for dynamic optimization problems (DOPs) has grown due to its… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Dynamic testing via automata learning
This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Dynamic Testing of Wholesale Power Market Designs : An Open-Source Agent-Based Framework
In April 2003 the U.S. Federal Energy Regulatory Commission proposed a complicated market design—the Wholesale Power Market… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
Systematic Testing of Real- -Time Systems
The development of embedded systems is an essential industrial activity whose importance is increasing. Commonly, embedded… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Testing real-time systems using genetic algorithms
The development of real-time systems is an essential industrial activity whose importance is increasing. The most important… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multithreaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
1980
Highly Cited
1980
A Domain Strategy for Computer Program Testing
This paper presents a testing strategy desiged to detect errors in the control flow of a computer program, and the conditions… (More)
  • table I
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?