ICSE 2007 - PDF Preprint Papers

ICSE 2007 International Conference on Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICSE-2007 Paper

click to vote

ICSE
2007
IEEE-ACM

360views Software Engineering» more ICSE 2007»

Software Testing Research: Achievements, Challenges, Dreams

14 years 11 months ago

Download www.cs.ucla.edu

Antonia Bertolino

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	360	Software Testing Research: Achievements, Challenges, Dreams	claim
2	286	ArchStudio 4: An Architecture-Based Meta-Modeling Environment	claim
3	243	WebSob: A Tool for Robustness Testing of Web Services	claim
4	237	Software Reliability Engineering: A Roadmap	claim
5	203	DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees	claim
6	198	Feature Oriented Model Driven Development: A Case Study for Portlets	claim
7	186	Analysis of a Redundant Architecture for Critical Infrastructure Protection	claim
8	184	Formal Software Analysis Emerging Trends in Software Model Checking	claim
9	178	Automated Generation of Context-Aware Tests	claim
10	174	Empirical Methods in Software Engineering Research	claim
11	172	Aspect-Oriented Design in Java/AspectJ and Ruby	claim
12	170	Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts	claim
13	168	The CRUTIAL Architecture for Critical Information Infrastructures	claim
14	168	ACL2s: "The ACL2 Sedan"	claim
15	167	Collaboration in Software Engineering: A Roadmap	claim
16	164	Ownership and Immutability Inference for UML-Based Object Access Control	claim
17	160	Software Development Environments for Scientific and Engineering Software: A Series of Case Studies	claim
18	159	A Robust Semantic Overlay Network for Microgrid Control Applications	claim
19	155	Software Design and Architecture The once and future focus of software engineering	claim
20	151	Plug-and-Play Architectural Design and Verification	claim
21	149	Feedback-Directed Random Test Generation	claim
22	148	The Challenges of Building Advanced Mechatronic Systems	claim
23	146	Revel8or: Model Driven Capacity Planning Tool Suite	claim
24	145	Compatibility and Regression Testing of COTS-Component-Based Software	claim
25	145	Automated Inference of Pointcuts in Aspect-Oriented Refactoring	claim
26	145	A Future for Software Engineering?	claim
27	141	First International Workshop on Emerging Trends in FLOSS Research and Development	claim
28	140	Limits to Dependability Assurance - A Controversy Revisited	claim
29	140	Trio2Promela: A Model Checker for Temporal Metric Specifications	claim
30	138	Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications	claim
31	138	Engineering Medical Information Systems: Architecture, Data and Usability & Security	claim
32	138	Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs	claim
33	138	Architecture Knowledge Management: Challenges, Approaches, and Tools	claim
34	137	Managing Impacts of Security Protocol Changes in Service-Oriented Applications	claim
35	137	Variability Management in Software Product Line Engineering	claim
36	137	A Data Model to Support End User Software Engineering	claim
37	137	Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples	claim
38	136	Model-driven Development of Complex Software: A Research Roadmap	claim
39	135	Mining Software Engineering Data	claim
40	135	Agile Contracts	claim
41	133	Kato: A Program Slicing Tool for Declarative Specifications	claim
42	132	DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones	claim
43	132	Cost-Benefit Analysis of Software Development Techniques and Practices	claim
44	131	The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes	claim
45	131	Supporting the Investigation and Planning of Pragmatic Reuse Tasks	claim
46	130	Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset	claim
47	130	Is Code Still Moving Around? Looking Back at a Decade of Code Mobility	claim
48	129	TAXI - A Tool for XML-Based Testing	claim
49	128	Languages for Safety-Critical Software: Issues and Assessment	claim
50	127	Korat: A Tool for Generating Structurally Complex Test Inputs	claim
51	127	Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support	claim
52	127	Ajaxifying Classic Web Applications	claim
53	127	Modeling the Effect of Size on Defect Proneness for Open-Source Software	claim
54	126	Parallel Randomized State-Space Search	claim
55	126	Some Trends in Web Application Development	claim
56	125	A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks	claim
57	124	Information Needs in Collocated Software Development Teams	claim
58	123	Behaviour Model Synthesis from Properties and Scenarios	claim
59	123	Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks	claim
60	123	Stakeholder Value Driven Threat Modeling for Off the Shelf Based Systems	claim
61	122	SoftGUESS: Visualization and Exploration of Code Clones in Context	claim
62	122	Lean Software Development	claim
63	121	Agile Methods: Crossing the Chasm	claim
64	120	Workshop on Software Technologies for Ultra-Large Scale Systems	claim
65	119	Testing and Analysis of Access Control Policies	claim
66	118	Assessing Changeability by Investigating the Propagation of Change Types	claim
67	117	Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable	claim
68	116	UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models	claim
69	116	Usability Implications of Requiring Parameters in Objects' Constructors	claim
70	116	Self-Managed Systems: an Architectural Challenge	claim
71	116	2nd International Workshop on Realising Evidence-Based Software Engineering (REBSE-2)	claim
72	115	SHIWS: A Self-Healing Integrator for Web Services	claim
73	114	New Frontiers of Reverse Engineering	claim
74	113	Do Maintainers Utilize Deployed Design Patterns Effectively?	claim
75	113	Design, Implementation and Deployment of State Machines Using a Generative Approach	claim
76	111	Presentations by Programmers for Programmers	claim
77	111	Mismar: A New Approach to Developer Documentation	claim
78	110	On Accurate Automatic Verification of Publish-Subscribe Architectures	claim
79	110	SCL: Static Enforcement and Exploration of Developer Intent in Source Code	claim
80	109	Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis	claim
81	109	A Perspective on the Future of Middleware-based Software Engineering	claim
82	108	Regression Test Selection for AspectJ Software	claim
83	107	Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis	claim
84	107	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems	claim
85	106	Modeling Product Line Architectures through Change Sets and Relationships	claim
86	106	Migration of Legacy Assets to Service-Oriented Architecture Environments	claim
87	105	Suade: Topology-Based Searches for Software Investigation	claim
88	105	POLUS: A POwerful Live Updating System	claim
89	105	Modeling in Software Engineering	claim
90	104	Adaptive Online Program Analysis	claim
91	104	Using GUI Run-Time State as Feedback to Generate Test Cases	claim
92	104	Matching and Merging of Statecharts Specifications	claim
93	104	Tracking Code Clones in Evolving Software	claim
94	103	Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design	claim
95	102	Performance Evaluation and Prediction for Legacy Information Systems	claim
96	101	STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis	claim
97	101	Automatic Inference of Structural Changes for Matching across Program Versions	claim
98	101	First Workshop on the Economics of Software and Computation	claim
99	100	Randomized Differential Testing as a Prelude to Formal Verification	claim
100	99	Global Software Engineering: The Future of Socio-technical Coordination	claim
101	97	Good Practices for Educational Software Engineering Projects	claim
102	97	Fifth Workshop on Software Quality	claim
103	97	The Future of Software Performance Engineering	claim
104	96	SoQueT: Query-Based Documentation of Crosscutting Concerns	claim
105	96	Enhancing Software Testing by Judicious Use of Code Coverage Information	claim
106	95	The Social Dynamics of Pair Programming	claim
107	95	Information Hiding and Visibility in Interface Specifications	claim
108	93	When Role Models Have Flaws: Static Validation of Enterprise Security Policies	claim
109	92	The Factory Pattern in API Design: A Usability Evaluation	claim
110	92	Portraits in Practice	claim
111	91	GoalDebug: A Spreadsheet Debugger for End Users	claim
112	91	OPIUM: Optimal Package Install/Uninstall Manager	claim
113	91	The Impact of Research on Middleware Technology	claim
114	88	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler	claim
115	88	Spotlight: A Prototype Tool for Software Plans	claim
116	88	Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study	claim
117	88	Sequential Circuits for Relational Analysis	claim
118	88	Reliability Analysis of Concurrent Systems Using LTSA	claim
119	85	Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts	claim
120	84	Refactoring for Parameterizing Java Classes	claim
121	84	A Technique for Enabling and Supporting Debugging of Field Failures	claim
122	82	Predicting Faults from Cached History	claim
123	80	Software Deployment, Past, Present and Future	claim
124	79	Requirements Engineering so Things Don't Get Ugly	claim
125	72	Understanding and Aiding Code Evolution by Inferring Change Patterns	claim
126	71	Path-Sensitive Inference of Function Precedence Protocols	claim
127	71	Testing Concurrent Java Components	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers