Table of Contents

• Title Pages [doi]
• Workshop Committees [doi]
• Copyright [doi]
• Preface [doi]
• Title Page [doi]
• Message from the Program Committee Co-Chairs [doi]
• Message from the Steering Committee Chair [doi]
• Conference Committees [doi]
• Program Committee [doi]
• Additional Reviewers [doi]
• Keynote Speech [doi]
• Conference Organizers and NASA/DoD Advisory Committee [doi]
• Enabling the On-line Intrinsic Evolution of Analog ControllersDavid A. Gwaltney, Michael I. Ferguson. 3-11 [doi]
• Model-Based Testing of Concurrent Programs with Predicate Sequencing ConstraintsPeng Wu 0002, Huimin Lin. 3-10 [doi]
• Test Order for Class-based Integration Testing of Java ApplicationsNor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan. 11-18 [doi]
• Hardware Evolution of Analog Circuits for In-situ Robotic Fault-RecoveryDmitry Berenson, Nicolás S. Estévez, Hod Lipson. 12-19 [doi]
• On the Test Case Definition for GUI TestingKai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang. 19-28 [doi]
• EARP-1 - An Evolvable Analog Research PlatformEdward Ramsden, Garrison W. Greenwood, David Hunter. 20-25 [doi]
• Evolutionary Design of Analog Circuits with a Uniform-Design Based Multi-Objective Adaptive Genetic AlgorithmShuguang Zhao, Licheng Jiao, Jianxun Zhao, Yuping Wang. 26-29 [doi]
• Peer Reviews in Real Life - Motivators and DemotivatorsLasse Harjumaa, Ilkka Tervonen, Anna Huttunen. 29-36 [doi]
• Tuning Evolvable PID Controllers through a Clonal Selection AlgorithmJorge Luís Machado do Amaral, José Franco Machado do Amaral, Ricardo Tanscheit, Marco Aurélio Cavalcanti Pacheco, Antonio Carneiro de Mesquita Filho. 30-33 [doi]
• On the Robustness Achievable with Stochastic Development ProcessesShivakumar Viswanathan, Jordan B. Pollack. 34-39 [doi]
• Towards the UML Evaluation Using Taxonomic Patterns on Meta-ClassesHaohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang. 37-44 [doi]
• A VHDL Core for Intrinsic Evolution of Discrete Time Filters with Signal FeedbackDavid A. Gwaltney, Kenneth Dutton. 43-50 [doi]
• A Preliminary Evaluation of Software Inspection Tools, with the DESMET MethodHenrik Hedberg, Jouni Lappalainen. 45-54 [doi]
• Automatic Discovery of RTL Benchmark Circuits with Predefined Testability PropertiesTomas Pecenka, Zdenek Kotásek, Lukás Sekanina, Josef Strnadel. 51-58 [doi]
• Identification of Categories and Choices in Activity DiagramsTsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse. 55-63 [doi]
• On Evolution of Relatively Large Combinational Logic CircuitsEmanuele Stomeo, Tatiana Kalganova, Cyrille Lambert, N. Lipnitsakya, Y. Yatskevich. 59-66 [doi]
• Test Case Generation by OCL Mutation and Constraint SolvingBernhard K. Aichernig, Percy Antonio Pari Salas. 64-71 [doi]
• Adaptive Genetic Algorithm Based Approach for Evolutionary Design and Multi-objective Optimization of Logic CircuitsShuguang Zhao, Jianxun Zhao, Licheng Jiao. 67-72 [doi]
• Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic ComputationWolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. 72-82 [doi]
• Evolutionary Discovering of the Concept of the Discrete State at the Transistor LevelLukás Sekanina, Ricardo Salem Zebulum. 73-78 [doi]
• Evolved Digital Circuits and Genome ComplexityMorten Hartmann, Per Kristian Lehre, Pauline C. Haddow. 79-86 [doi]
• Cost and Response Time Simulation forWeb-based Applications on Mobile ChannelsMatthias Book, Volker Gruhn, Malte Hülder, André Köhler, Andreas Kriegel. 83-90 [doi]
• Intrinsic Evolvable Hardware Implementation of a Robust Biological Development Model for Digital SystemsHeng Liu, Julian F. Miller, Andy M. Tyrrell. 87-92 [doi]
• Quality Assurance in the Design of Web Information SystemsAleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao. 91-98 [doi]
• Evolution of Asynchronous Sequential CircuitsA. P. Shanthi, L. Karthik Singaram, Ranjani Parthasarathi. 93-96 [doi]
• Evolving Combinational Logic Circuits Using a Hybrid Quantum Evolution and Particle Swarm Inspired AlgorithmPhillip W. Moore, Ganesh K. Venayagamoorthy. 97-102 [doi]
• Stochastic Voting Algorithms for Web Services Group TestingWei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen. 99-108 [doi]
• A Hardware Implementation of the Cell Matrix Self-Configurable Architecture: The Cell Matrix MOD 88Nicholas J. Macias, Lisa J. K. Durbeck. 103-106 [doi]
• Autonomous FPGA Fault Handling through Competitive Runtime ReconfigurationRonald F. DeMara, Kening Zhang. 109-116 [doi]
• Verification of C Programs using Slicing ExecutionXiaodong Yi, Ji Wang, Xuejun Yang. 109-116 [doi]
• Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure AnnotationsLars Grunske, Bernhard Kaiser. 117-123 [doi]
• Robust Neural Networks Using MotesJames M. Hereford, Tüze Kuyucu. 117-124 [doi]
• Formal Fault Tree Analysis of State Transition SystemsJianwen Xiang, Kazuhiro Ogata. 124-134 [doi]
• Practical Concerns When Evolving Circuits Impervious to Anticipated FaultsGarrison W. Greenwood. 125-128 [doi]
• Evolutionary Computation Technologies for the Automated Design of Space SystemsRichard Terrile, Hrand Aghazarian, Michael I. Ferguson, Wolfgang Fink, Terrance L. Huntsberger, Didier Keymeulen, Gerhard Klimeck, Mark A. Kordon, SeungWon Lee, Paul von Allmen. 131-138 [doi]
• A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software ComponentsHai Hu, W. Eric Wong, Chang-Hai Jiang, Kai-Yuan Cai. 135-141 [doi]
• An Evolvable Antenna Platform Based on Reconfigurable ReflectarraysSean V. Hum, Michal Okoniewski, Robert J. Davies. 139-146 [doi]
• A Multi-Property Trust Model for Reconfiguring Component SoftwareMinghui Zhou, Hong Mei, Lu Zhang. 142-149 [doi]
• An EHW Architecture for the Design of Unconstrained Low-Power FIR Filters for Sensor Control Using Custom-Reconfigurable TechnologyEvangelos F. Stefatos, Tughrul Arslan, Didier Keymeulen, Ian Ferguson. 147-153 [doi]
• Measuring the Complexity of a UML Component SpecificationSajjad Mahmood, Richard Lai. 150-160 [doi]
• A Multi-objective Genetic Algorithm for On-chip Real-time Optimisation of Word Length and Power Consumption in a Pipelined FFT Processor targeting a MC-CDMA ReceiverNasri Sulaiman, Tughrul Arslan. 154-159 [doi]
• New Research on Scalability of Lossless Image Compression by GP EngineHe Jingsong, Wang Xufa, Zhang Min, Wang Jiying, Fang Qiansheng. 160-164 [doi]
• Replication for Adaptive Responsiveness in Service-Oriented SystemsStephen S. Yau, Gaurav Goyal, Yisheng Yao. 161-168 [doi]
• Evolving Assembly Plans for Fully Automated Design and AssemblyJohn Rieffel, Jordan B. Pollack. 165-170 [doi]
• Capturing and Using Software Architecture Knowledge for Architecture-Based Software DevelopmentMuhammad Ali Babar, Ian Gorton, D. Ross Jeffery. 169-176 [doi]
• Large Scale Deployment and Operation of Distributed Sensor Assets Optimized for Robust Mars ExplorationJames Bickford, Sean George, John Manobianco, Mark Adams, Donna Manobianco. 173-182 [doi]
• Runtime Validation of Behavioural Contracts for Component SoftwareYan Jin, Jun Han. 177-186 [doi]
• Non-Evolvable Indirectly Replicating Nanorobots with Self-Assembling PartsTihamer Toth-Fejel. 183-192 [doi]
• Fault-Based Testing of Database Application Programs with Conceptual Data ModelW. K. Chan, S. C. Cheung, T. H. Tse. 187-196 [doi]
• Space Bionanorobotic Systems: Design and ApplicationsConstantinos Mavroidis, Ajay Ummat. 193-202 [doi]
• Proving the Safety of SQL QueriesStefan Brass, Christian Goldberg. 197-204 [doi]
• Cross-Domain Features of Runs of Genetic Programming Used to Evolve Designs for Analog Circuits, Optical Lens Systems, Controllers, Antennas, Mechanical Systems, and Quantum Computing CircuitsJohn R. Koza, Sameer H. Al-Sakran, Lee W. Jones. 205-214 [doi]
• Higher-Order Entity Relationship Modelling with UMLAlexei Tretiakov, Sven Hartmann. 205-214 [doi]
• Co-evolutionary Variance Can Guide Physical Testing in Evolutionary System IdentificationViktor Zykov, Josh C. Bongard, Hod Lipson. 213-220 [doi]
• Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar SystemsAkira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri. 215-222 [doi]
• A Case for Using Minipop as the Evolutionary Engine in a CTRNN-EH Control Device: An Analysis of Area Requirements and Search EfficacySaranyan Vigraham, John C. Gallagher. 221-228 [doi]
• Ontology Based Requirements Analysis: Lightweight Semantic Processing ApproachHaruhiko Kaiya, Motoshi Saeki. 223-230 [doi]
• Evolution In Materio : A Real-Time Robot Controller in Liquid CrystalSimon Harding, Julian F. Miller. 229-238 [doi]
• Domain Consistency in Requirements SpecificationSatyajit Acharya, Chris George, Hrushikesha Mohanty. 231-240 [doi]
• Complexity Metrics for Self-monitoring Impact Sensing NetworksMikhail Prokopenko, Peter Wang, Don Price. 239-246 [doi]
• A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based ApplicationsW. K. Chan, Tsong Yueh Chen, Heng Lu. 241-249 [doi]
• A Reconfigurable Continuous Time Recurrent Neural Network for Evolvable Hardware ApplicationsJohn C. Gallagher, Sanjay K. Boddhu, Saranyan Vigraham. 247-250 [doi]
• A Method of Generating Massive Virtual Clients and Model-based Performance TestGyu-Baek Kim. 250-254 [doi]
• Implementation Results for a Fault-Tolerant Multicellular Architecture Inspired by Endocrine CommunicationAndrew J. Greensted, Andy M. Tyrrell. 253-261 [doi]
• An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software TestinHuaizhong Li, Chiou Peng Lam. 255-264 [doi]
• A Move Processor for Bio-Inspired SystemsGianluca Tempesti, Pierre-André Mudry, Ralph Hoffmann. 262-271 [doi]
• Study on Application of a Quantitative Evaluation Approach for Software Architecture AdaptabilityXia Liu, Qing Wang. 265-272 [doi]
• Development Brings Scalability to Hardware EvolutionTimothy G. W. Gordon, Peter J. Bentley. 272-279 [doi]
• GcpSensor: a CPU Performance Tool for Grid EnvironmentsDong Guo, Liang Hu, Meng Zhang, Zhuopeng Zhang. 273-278 [doi]
• Case Studies: The Potential Teaching Instruments for Software Engineering EducationVasudeva Varma, Kirti Garg. 279-286 [doi]
• Survivability of Embryonic Memories: Analysis and Design PrinciplesLucian Prodan, Mihai Udrescu, Mircea Vladutiu. 280-289 [doi]
• An Efficient Consistency Management Algorithm for Real-Time Mobile CollaborationSandy Citro, Jim McGovern, Caspar Ryan. 287-264 [doi]
• Embryonic Machines That Grow, Self-Replicate and Self-RepairAndré Stauffer, Daniel Mange, Gianluca Tempesti. 290-293 [doi]
• Cellular Learning Automata based Evolutionary Computing (CLA-EC) for Intrinsic Hardware EvolutionArash Hariri, Reza Rastegar, Keivan Navi, Morteza Saheb Zamani, Mohammad Reza Meybodi. 294-297 [doi]
• Principles of Timing Anomalies in Superscalar ProcessorsIngomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder. 295-306 [doi]
• FemtoComputing: New Architectural Ideas for Procedural and Evolutionary Computers Whose Components Switch in Femto-SecondsHugo de Garis, Thayne Batty, Wang Ce. 301-306 [doi]
• Teaching Three Quality Assurance Techniques in Tandem - Lessons LearnedCat Kutay, Muhammad Ali Babar. 307-312 [doi]
• Molecular Circuit DesignLeone Pereira Masiero, Marco Aurélio Cavalcanti Pacheco, Carlos R. Hall Barbosa, Cristina Costa Santini. 307-312 [doi]
• Software Testing Education and Training in Hong KongF. T. Chan, W. H. Tang, T. Y. Chen. 313-316 [doi]
• A System to Mark Programs AutomaticallyKen Ngo-Pham, John Bigham, Julian Rodaway, Laurissa Tokarchuk. 317-322 [doi]
• Dynamic Delivery of Software Development CurriculumAllan Fisher, Jill Fain Lehman. 323-326 [doi]
• Teaching Automated Test Case GenerationTsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou. 327-333 [doi]
• Designing Activities for Learning Software Quality PracticesYuen-Tak Yu, Pak-Lok Poon. 333-340 [doi]
• Scalable Enterprise Level Workflow Manager for the GridR. A. Dheepak, Shakeb Ali, Ira Gupta, Hardik Dave, Adarsh Kailash Upadhyay, Lech D. Alves, Anish Damodaran, Anirban Chakrabarti, Anirban Ghosh. 341-348 [doi]
• A Data Mining-based Framework for GridWorkflow ManagementAntonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà. 349-356 [doi]
• Scientific workflow management: between generality and applicabilityZhiming Zhao, Adam Belloum, Adianto Wibisono, Frank Terpstra, Piter T. de Boer, Peter M. A. Sloot, Bob Hertzberger. 357-364 [doi]
• A Peer-to-peer Architecture forWorkflow in Virtual EnterprisJohn Noll. 365-372 [doi]
• A Service Workflow Management Framework Based on Peer-to-Peer and Agent TechnologiesJun Yan, Yun Yang, Ryszard Kowalczyk, Xuan Thang Nguyen. 373-382 [doi]
• Tool Support for Agent Development using the Prometheus MethodologyLin Padgham, John Thangarajah, Michael Winikoff. 383-388 [doi]
• Towards Goal-Oriented Design of Agent SystemsJason Khallouf, Michael Winikoff. 389-394 [doi]
• The Genesis of a Pattern Language for Agent-based Enterprise SystemsPaul R. Taylor, Peter Evans-Greenwood, James Odell. 395-400 [doi]
• Towards Making Agent UML Practical: A Textual Notation and a ToolMichael Winikoff. 401-412 [doi]
• Enabling Agent-Based Management of Web Services with WS2JADEXuan Thang Nguyen, Ryszard Kowalczyk. 407-412 [doi]
• Systematic Incremental Development of Agent Systems, using PrometheusMikhail Perepletchikov, Lin Padgham. 413-418 [doi]
• Guiding agent-oriented requirements elicitation: HOMERDamien Wilmann, Leon Sterling. 419-424 [doi]
• Design Patterns for Agent-Based Service Composition in theWebIngo Müller, Peter Braun, Ryszard Kowalczyk. 425-430 [doi]
• Caste-Centric Agent-Oriented ProgrammingJi Wang, Rui Shen, Hong Zhu. 431-438 [doi]
• Relevant Past Performance for Selecting Web ServicesWanita Sherchan, Shonali Krishnaswamy, Seng Wai Loke. 439-445 [doi]
• An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services CoordinationJingtao Yang, Corina Cîrstea, Peter Henderson. 446-451 [doi]
• Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented ArchitecturePeter Massuthe, Karsten Schmidt 0004. 452-457 [doi]
• Interactive Visualisation and Testing of Jini ServicesBruce Quig, Michael Kölling, John Rosenberg, Phillip Steele. 458-463 [doi]
• OMWSC- An Ontology-Based Model for Web Services CompositionJiangang Ma, Yanchun Zhang, Minglu Li. 464-469 [doi]
• Towards a Metamorphic Testing Methodology for Service-Oriented Software ApplicationsW. K. Chan, S. C. Cheung, Karl R. P. H. Leung. 470-476 [doi]