KBSE 2007 - PDF Preprint Papers

KBSE 2007 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2007 Paper

click to vote

KBSE
2007
IEEE

268views Software Engineering» more KBSE 2007»

Nighthawk: a two-level genetic-random unit test data generator

14 years 6 months ago

Download menzies.us

Randomized testing has been shown to be an eﬀective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...

James H. Andrews, Felix Chun Hang Li, Tim Menzies

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	268	Nighthawk: a two-level genetic-random unit test data generator	claim
2	215	The business case for automated software engineering	claim
3	171	Feature location via information retrieval based filtering of a single scenario execution trace	claim
4	167	Assertion-based repair of complex data structures	claim
5	165	A framework and tool supports for testing modularity of software design	claim
6	161	Checking threat modeling data flow diagrams for implementation conformance and security	claim
7	154	Tools for model-based security engineering: models vs. code	claim
8	152	Effective memory protection using dynamic tainting	claim
9	148	An automated approach to monitoring and diagnosing requirements	claim
10	146	Testing concurrent programs using value schedules	claim
11	142	Modeling bug report quality	claim
12	139	CodeGenie: using test-cases to search and reuse source code	claim
13	134	Unit testing concurrent software	claim
14	133	Parseweb: a programmer assistant for reusing open source code on the web	claim
15	130	Iterative model-driven development of adaptable service-based applications	claim
16	129	Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs	claim
17	128	Extraction of bug localization benchmarks from history	claim
18	126	Automated detection of api refactorings in libraries	claim
19	126	The eureka tool for software model checking	claim
20	122	Improving evolutionary class testing in the presence of non-public methods	claim
21	119	Context-aware statistical debugging: from bug predictors to faulty control flow paths	claim
22	118	Feature interaction analysis: a maintenance perspective	claim
23	118	Model checking concurrent linux device drivers	claim
24	118	Ensuring consistency in long running transactions	claim
25	117	Test suite reduction and prioritization with call trees	claim
26	114	Towards automatic model synchronization from model transformations	claim
27	113	Directed test generation using symbolic grammars	claim
28	112	Using information retrieval to support design of incremental change of software	claim
29	107	Extracting rights and obligations from regulations: toward a tool-supported process	claim
30	104	Adaptation hiding modularity	claim
31	104	Keyword programming in java	claim
32	104	Covering array sampling of input event sequences for automated gui testing	claim
33	103	Direct-dependency-based software compatibility testing	claim
34	101	Finding errors in components that exchange xml data	claim
35	100	An energy consumption framework for distributed java-based systems	claim
36	99	Scalable automatic test data generation from modeling diagrams	claim
37	97	A dynamic birthmark for java	claim
38	97	Efficiently monitoring data-flow test coverage	claim
39	94	Software reuse and evolution with generative techniques	claim
40	91	Exploring the neighborhood with dora to expedite software maintenance	claim
41	90	Towards supporting awareness of indirect conflicts across software configuration management workspaces	claim
42	90	Tool support for the compile-time execution structure of object-oriented programs with ownership annotations	claim
43	84	Synthesis of test purpose directed reactive planning tester for nondeterministic systems	claim
44	81	Diconic addition of failsafe fault-tolerance	claim
45	80	Combined static and dynamic mutability analysis	claim
46	80	Verifying C++ with STL containers via predicate abstraction	claim
47	78	Inferring structural patterns for concern traceability in evolving software	claim
48	77	Behavioral adaptation of component compositions based on process algebra encodings	claim
49	58	Sequential circuits for program analysis	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers