ICSE 2009 - PDF Preprint Papers

ICSE 2009 International Conference on Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICSE-2009 Paper

click to vote

ICSE
2009
IEEE-ACM

455views Software Engineering» more ICSE 2009»

Analyzing critical process models through behavior model synthesis

14 years 5 months ago

Download www.info.ucl.ac.be

Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...

Christophe Damas, Bernard Lambeau, Francois Roucou...

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	455	Analyzing critical process models through behavior model synthesis	claim
2	317	FeatureIDE: A tool framework for feature-oriented software development	claim
3	214	Automated testing of healthcare document transformations in the PICASSO interoperability platform	claim
4	201	Predicting build failures using social network analysis on developer communication	claim
5	199	The impact of process choice in high maturity environments: An empirical analysis	claim
6	185	Configuration aware prioritization techniques in regression testing	claim
7	184	Slede: Framework for automatic verification of sensor network security protocol implementations	claim
8	173	Modular string-sensitive permission analysis with demand-driven precision	claim
9	169	HOLMES: Effective statistical debugging via efficient path profiling	claim
10	167	Automated substring hole analysis	claim
11	165	CocoViz with ambient audio software exploration	claim
12	164	Safe-commit analysis to facilitate team software development	claim
13	163	Tesseract: Interactive visual exploration of socio-technical relationships in software development	claim
14	162	Alitheia Core: An extensible software quality monitoring platform	claim
15	162	ContextServ: A platform for rapid and flexible development of context-aware Web services	claim
16	162	Automatically capturing source code context of NL-queries for software maintenance and reuse	claim
17	161	The comment density of open source software code	claim
18	160	Automatic creation of SQL Injection and cross-site scripting attacks	claim
19	158	A compositional approach to bidirectional model transformation	claim
20	153	The secret life of bugs: Going past the errors and omissions in software repositories	claim
21	153	Complete and accurate clone detection in graph-based models	claim
22	152	Save-IDE - A tool for design, analysis and implementation of component-based embedded systems	claim
23	151	Model checking flight control systems: The Airbus experience	claim
24	150	Visual exploration of large-scale evolving software	claim
25	150	Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)	claim
26	149	Multi-dimensional service compositions	claim
27	146	VCC: Contract-based modular verification of concurrent C	claim
28	145	Software Engineering for the Next Internet	claim
29	141	Succession: Measuring transfer of code and developer productivity	claim
30	141	Does distributed development affect software quality? An empirical case study of Windows Vista	claim
31	141	QMetric - a metric tool suite for the evaluation of software process data	claim
32	141	Model Based Functional Testing Using Pattern Directed Filmstrips	claim
33	140	SmartTutor: Creating IDE-based interactive tutorials via editable replay	claim
34	138	Taint-based directed whitebox fuzzing	claim
35	138	Creating and evolving software by searching, selecting and synthesizing relevant source code	claim
36	138	A-SCORE: Automatic software component recommendation using coding context	claim
37	136	Automatically finding patches using genetic programming	claim
38	136	JUnitMX - A change-aware unit testing tool	claim
39	136	ReMan: A pro-active reputation management infrastructure for composite Web services	claim
40	136	Self-healing for Pervasive Computing Systems	claim
41	134	Automated Test Program Generation for an Industrial Optimizing Compiler	claim
42	133	How we refactor, and how we know it	claim
43	132	Codebook: Social networking over code	claim
44	131	Improving quality, one process change at a time	claim
45	131	Automating Structural Testing of C Programs: Experience with PathCrawler	claim
46	131	A model for dynamic and adaptable services management	claim
47	129	ITACA: An integrated toolbox for the automatic composition and adaptation of Web services	claim
48	129	MINTS: A general framework and tool for supporting test-suite minimization	claim
49	128	License integration patterns: Addressing license mismatches in component-based development	claim
50	127	Can peer code reviews be exploited for later information needs?	claim
51	127	Improving bug tracking systems	claim
52	126	ClemanX: Incremental clone detection tool for evolving software	claim
53	125	FlexSync: An aspect-oriented approach to Java synchronization	claim
54	125	Calculating BPEL Test Coverage Through Instrumentation	claim
55	124	Deployment automation with BLITZ	claim
56	124	Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite	claim
57	124	A non-intrusive component-based approach for deploying unanticipated self-management behaviour	claim
58	123	Listening to programmers - Taxonomies and characteristics of comments in operating system code	claim
59	123	The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study	claim
60	123	Improving conflict resolution in model versioning systems	claim
61	122	Effective static deadlock detection	claim
62	122	Locating need-to-translate constant strings for software internationalization	claim
63	122	Accurate Interprocedural Null-Dereference Analysis for Java	claim
64	122	Maintaining and evolving GUI-directed test scripts	claim
65	122	Using quantitative analysis to implement autonomic IT systems	claim
66	122	DYVISE: Performance analysis of production systems research demonstration	claim
67	121	Integrating sustainability in decision-making processes: A modelling strategy	claim
68	120	Mining recurrent activities: Fourier analysis of change events	claim
69	120	Configuration and adaptation of binary software components	claim
70	119	How to avoid drastic software process change (using stochastic stability)	claim
71	117	Discovering and representing systematic code changes	claim
72	117	Engineering adaptive requirements	claim
73	117	Architecture-driven self-adaptation and self-management in robotics systems	claim
74	116	Equality and hashing for (almost) free: Generating implementations from abstraction functions	claim
75	116	In-field healing of integration problems with COTS components	claim
76	116	SemDiff: Analysis and recommendation support for API evolution	claim
77	116	Semantics-based code search	claim
78	115	Reflecting on self-adaptive software systems	claim
79	114	Refactoring sequential Java code for concurrency via concurrent libraries	claim
80	114	Detecting inefficient API usage	claim
81	111	Learning operational requirements from goal models	claim
82	111	Validation of contracts using enabledness preserving finite state abstractions	claim
83	111	Static ownership inference for reasoning against concurrency errors	claim
84	110	Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile	claim
85	110	An Empirical Study of Testing File-System-Dependent Software with Mock Objects	claim
86	110	Semi-automated traceability maintenance: An architectural overview of traceMaintainer	claim
87	110	Security Test Generation Using Threat Trees	claim
88	109	Towards a framework for supporting software modeling activities through novel interaction and visualization techniques	claim
89	108	Improving API documentation usability with knowledge pushing	claim
90	108	Predicting defects in SAP Java code: An experience report	claim
91	108	Toward deeply adaptive societies of digital systems	claim
92	108	The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model	claim
93	107	A toolset for automated failure analysis	claim
94	107	CloneDetective - A workbench for clone detection research	claim
95	107	An environment for synchronous software development	claim
96	107	Architecting Robustness and Timeliness in a New Generation of Aerospace Systems	claim
97	106	An Experimental Study of Methods for Executing Test Suites in Memory Constrained Environments	claim
98	105	TranStrL: An automatic need-to-translate string locator for software internationalization	claim
99	105	Reasoning about edits to feature models	claim
100	105	The road not taken: Estimating path execution frequency statically	claim
101	105	Mining exception-handling rules as sequence association rules	claim
102	104	FEATUREHOUSE: Language-independent, automated software composition	claim
103	104	Invariant-based automatic testing of AJAX user interfaces	claim
104	103	Predicting faults using the complexity of code changes	claim
105	102	Do code clones matter?	claim
106	102	Footprinter: Round-trip engineering via scenario and state based models	claim
107	101	Towards a framework for law-compliant software requirements	claim
108	100	Feedback-driven requirements engineering: The Heuristic Requirements Assistant	claim
109	100	Lightweight fault-localization using multiple coverage types	claim
110	100	SLA Protection models for virtualized data centers	claim
111	99	Taming Dynamically Adaptive Systems using models and aspects	claim
112	99	Guided path exploration for regression test generation	claim
113	99	A sense of community: A research agenda for software ecosystems	claim
114	99	Towards an assume-guarantee theory for adaptable systems	claim
115	97	Verifying networked programs using a model checker extension	claim
116	97	Design tests: An approach to programmatically check your code against design rules	claim
117	97	Towards safer composition	claim
118	96	Automated Functional Testing of Search Engine	claim
119	96	Experiments on the Test Case Length in Specification Based Test Case Generation	claim
120	95	Using Bayesian statistical methods to determine the level of error in large spreadsheets	claim
121	95	Exploiting the synergy between automated-test-generation and programming-by-contract	claim
122	94	Automatic dimension inference and checking for object-oriented programs	claim
123	92	Modeling in Software Engineering (MiSE 09)	claim
124	91	Test selection for result inspection via mining predicate rules	claim
125	91	RAIDE for engineering architecture-based self-adaptive systems	claim
126	89	Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration	claim
127	89	Automated Testing of a Converged Conferencing Application	claim
128	88	A formal model for self-adaptive and self-healing organizations	claim
129	88	Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform	claim
130	87	The marketplace of user interface real estate	claim
131	87	WISE: Automated test generation for worst-case complexity	claim
132	87	Genetics as a role model for software variability management	claim
133	87	Extended eTVRA vs. security checklist: Experiences in a value-web	claim
134	86	On exploiting decentralized bio-inspired self-organization algorithms to develop real systems	claim
135	85	Towards safety guarantees for service-oriented systems	claim
136	85	Reinforcement learning-based dynamic adaptation planning method for architecture-based self-managed software	claim
137	84	From system specifications to component behavioral models	claim
138	84	Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment	claim
139	83	Increasing usability of preprocessing for feature management in product lines with queries	claim
140	82	Selective backtracking of model changes	claim
141	81	Deconstructing concurrency heisenbugs	claim
142	80	How do system architectures affect software requirements?	claim
143	80	Early-stage software design for usability	claim
144	80	Software Assumptions Failure Tolerance: Role, Strategies, and Visions	claim
145	77	A generic software framework for role-based Organic Computing systems	claim
146	74	White-box approaches for improved testing and analysis of configurable software systems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers