KBSE 2005 - PDF Preprint Papers

KBSE 2005 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2005 Paper

click to vote

KBSE
2005
IEEE

201views Software Engineering» more KBSE 2005»

Automated test generation for engineering applications

14 years 6 months ago

Download research.nianet.org

In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...

Songtao Xia, Ben Di Vito, César Muño...

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	201	Automated test generation for engineering applications	claim
2	158	Automated population of causal models for improved software risk assessment	claim
3	156	Designing and implementing a family of intrusion detection systems	claim
4	156	Identifying traits with formal concept analysis	claim
5	153	Optimized run-time race detection and atomicity checking using partial discovered types	claim
6	150	UMLDiff: an algorithm for object-oriented design differencing	claim
7	147	AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks	claim
8	143	Determining the cost-quality trade-off for automated software traceability	claim
9	139	Locating faulty code using failure-inducing chops	claim
10	135	Empirical evaluation of the tarantula automatic fault-localization technique	claim
11	135	Automated path generation for software fault localization	claim
12	135	Automating experimentation on distributed testbeds	claim
13	134	Generation of visual editors as eclipse plug-ins	claim
14	132	Automatic test factoring for java	claim
15	132	Automated replay and failure detection for web applications	claim
16	127	On dynamic feature location	claim
17	127	Learning to verify branching time properties	claim
18	120	Secure sharing between untrusted users in a transparent source/binary deployment model	claim
19	118	Clearwater: extensible, flexible, modular code generation	claim
20	117	Process support to help novices design software faster and better	claim
21	116	Compositional reasoning for port-based distributed systems	claim
22	116	Bamboo: an architecture modeling and code generation framework for configuration management systems	claim
23	116	An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software	claim
24	113	Constructing interaction test suites with greedy algorithms	claim
25	106	Properties and scopes in web model checking	claim
26	105	QoS-aware dynamic service composition in ambient intelligence environments	claim
27	101	A context-sensitive structural heuristic for guided search model checking	claim
28	96	ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications	claim
29	95	Application of design for verification with concurrency controllers to air traffic control software	claim
30	95	Timna: a framework for automatically combining aspect mining analyses	claim
31	94	A component model for internet-scale applications	claim
32	93	Prufrock: a framework for constructing polytypic theorem provers	claim
33	91	A threat-driven approach to modeling and verifying secure software	claim
34	90	Testing in resource constrained execution environments	claim
35	88	Test input generation for red-black trees using abstraction	claim
36	84	Visualization-based analysis of quality for large-scale software systems	claim
37	84	NFRs-aware architectural evolution of component-based software	claim
38	77	Formal support for merging and negotiation	claim
39	75	Code security analysis with assertions	claim
40	74	Constraint-based test data generation in the presence of stack-directed pointers	claim
41	62	Specialization and extrapolation of software cost models	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers