Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 14
Volume 14, Number 1, March 2007
- Kurt Stirewalt, Virginie Wiels:
Introduction. 1-2 - Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
JDiff: A differencing technique and tool for object-oriented programs. 3-36 - Mats Per Erik Heimdahl, George Devaraj:
On the effect of test-suite reduction on automatically generated model-based tests. 37-57 - Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi
, Steven P. Reiss:
The design and implementation of a dataflow language for scriptable debugging. 59-86 - Mana Taghdiri, Daniel Jackson:
Inferring specifications to detect errors in code. 87-121 - David Notkin:
Dessert Island. 123-125
Volume 14, Number 2, June 2007
- Thomas Ellman, Andrea Zisman:
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). 127-128 - Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp:
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. 129-178 - Ana L. Milanova:
Composition inference for UML class diagrams. 179-213 - Zhenchang Xing, Eleni Stroulia:
Differencing logical UML models. 215-259
Volume 14, Number 3, September 2007
- Ronald Morrison, Dharini Balasubramaniam, Graham N. C. Kirby, Kath Mickan, Brian Warboys, Robert Mark Greenwood, Ian Robertson, Bob Snowdon:
A framework for supporting dynamic systems co-evolution. 261-292 - Marco Autili, Paola Inverardi, Patrizio Pelliccione:
Graphical scenarios for specifying temporal properties: an automated approach. 293-340 - Fabio Massacci, John Mylopoulos, Nicola Zannone:
Computer-aided Support for Secure Tropos. 341-364 - Ian F. Alexander:
Column for the Automated Software Engineering Journal. 365-368
Volume 14, Number 4, December 2007
- Anthony J. H. Simons:
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. 369-418 - Bill Mitchell:
Lazy buffer semantics for partial order scenarios. 419-441 - Alexander Borgida:
How knowledge representation meets software engineering (and often databases). 443-464 - Keith B. Gallagher:
Desert island column. 465-470
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-30 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
