Automated Software Engineering （ASE） - December 2007, issue 4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 2007, issue 4 |
| 发布时间： |
| 卷期年份： 2007 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/14-4 |
本期论文列表
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
Lazy buffer semantics for partial order scenarios
How knowledge representation meets software engineering (and often databases)
Desert island column
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE’2005)
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
Composition inference for UML class diagrams
Differencing logical UML models
Introduction
JDiff: A differencing technique and tool for object-oriented programs
On the effect of test-suite reduction on automatically generated model-based tests
The design and implementation of a dataflow language for scriptable debugging
Inferring specifications to detect errors in code
Dessert Island
A framework for supporting dynamic systems co-evolution
Graphical scenarios for specifying temporal properties: an automated approach
Computer-aided Support for Secure Tropos
Ian Alexander: Column for the Automated Software Engineering Journal