Table of Contents

• A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity ModelAkinori Saito, Takumi Kusanagi, Koichiro Ochimizu. 1-8 [doi]
• Optimal Scheduling of Software Projects Using Reinforcement LearningFrank Padberg, David Weiss. 9-16 [doi]
• Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate CourseJian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu. 17-24 [doi]
• Proving Non-interference on Reachability Properties: A Refinement ApproachMarc Frappier, Amel Mammar. 25-32 [doi]
• Memory Leak Detection Based on Memory State Transition GraphZhenbo Xu, Jian Zhang, Zhongxing Xu. 33-40 [doi]
• Techniques for Analysing PDF MalwareCaglar Ulucenk, Vijay Varadharajan, Venkatesan Balakrishnan, Udaya Kiran Tupakula. 41-48 [doi]
• Derivation and Formal Verification of a Mode Logic for Layered Control SystemsYuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala. 49-56 [doi]
• Stepwise Validation of Formal SpecificationsAtif Mashkoor, Jean-Pierre Jacquot. 57-64 [doi]
• Use Cases Modeling for Scalable Model-CheckingAmine Raji, Philippe Dhaussy. 65-72 [doi]
• A "Vibration" Method for Automatically Generating Test Cases Based on Formal SpecificationsShaoying Liu, Shin Nakajima. 73-80 [doi]
• Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model CheckingWeiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda. 81-88 [doi]
• Intrusive Test Automation with Failed Test Case ClusteringChien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan. 89-96 [doi]
• An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys ToolAlberto Bastias, Sidharth Bihary, Suman Roy. 97-105 [doi]
• Architecture-Centric Model-Driven Web EngineeringEban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King. 106-113 [doi]
• Executable and Translatable UML - How Difficult Can it Be?Håkan Burden, Rogardt Heldal, Toni Siljamaki. 114-121 [doi]
• Towards a Framework for the Application of Model-Driven Development in Situational Method EngineeringZahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin. 122-129 [doi]
• VisTML: A Visual Modeling Language for Model TransformationXiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao. 130-137 [doi]
• Extraction of Attribute Dependency Graph from Database ApplicationsKaiping Liu, Hee Beng Kuan Tan, Xu Chen. 138-145 [doi]
• Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version ArchivesAshish Sureka, Sangeeta Lal, Lucky Agarwal. 146-153 [doi]
• Toward Inconsistency Awareness in Collaborative Software DevelopmentThi Thanh Huyen Phan, Koichiro Ochimizu. 154-162 [doi]
• A Concept Lattice for Recognition of User Problems in Real User MonitoringKatsunori Oyama, Atsushi Takeuchi, Hua Ming, Carl K. Chang. 163-170 [doi]
• RobusTest: A Framework for Automated Testing of Software RobustnessAli Shahrokni, Robert Feldt. 171-178 [doi]
• STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued LogicYunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang. 179-186 [doi]
• Integrating Model-Based Testing in Model-Driven Web EngineeringEban Escott, Paul A. Strooper, Jim Steel, Paul King. 187-194 [doi]
• Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSPBjörn Bartels, Sabine Glesner. 195-202 [doi]
• An Architecture of Dynamically Adaptive PHP-based Web ApplicationsShin Nakajima. 203-210 [doi]
• A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive SoftwareMikio Aoyama, Hayaki Tanabe. 211-218 [doi]
• Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to TestingBoutheina Bannour, Christophe Gaston, David Servat. 219-226 [doi]
• A Case Study of Measuring Degeneration of Software Architectures from a Defect PerspectiveZude Li, Jun Long. 242-249 [doi]
• CMCD: Count Matrix Based Code Clone DetectionYang Yuan, Yao Guo. 250-257 [doi]
• AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular AvionicsDajiang Suo, Jinxia An, Jihong Zhu. 266-273 [doi]
• Conformance Testing for OSEK/VDX Operating System Using Model CheckingJiang Chen, Toshiaki Aoki. 274-281 [doi]
• Automated Verification of Load Tests Using Control ChartsThanh H. D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora. 282-289 [doi]
• Evotec: Evolving the Best Testing Strategy for Contract-Equipped ProgramsLucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol. 290-297 [doi]
• A Design Map for Recording Precise Architecture DecisionsAtsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida. 298-305 [doi]
• Aspects and Annotations for Controlling the Roles Application Classes Play for Design PatternsRosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana. 306-314 [doi]
• Object Oriented Software Clustering Based on Community StructureUral Erdemir, Umut Tekin, Feza Buzluca. 315-321 [doi]
• A Method to Derive Software Architectures from Quality RequirementsAzadeh Alebrahim, Denis Hatebur, Maritta Heisel. 322-330 [doi]
• Recommending Proper API Code Examples for Documentation PurposeLee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau. 331-338 [doi]
• Understanding Source Code Differences by Separating Refactoring EffectsSirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki. 339-347 [doi]
• Using Variability Models to Reduce Verification Effort of Train Station ModelsAndreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. 348-356 [doi]
• Requirements Maturation Analysis by Accessibility and StabilityTakako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine. 357-364 [doi]
• Illusions and Perceptions of Transparency in Software EngineeringYu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero. 365-372 [doi]
• A State Machine Analysis Support System Based on the Problem FramesOsamu Shigo, Kaoru Yokoyama. 373-380 [doi]
• Modeling Timing Requirements in Problem Frames Using CCSLXiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin. 381-388 [doi]
• DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise RankingWenjin Wu, Wen Zhang, Ye Yang, Qing Wang. 389-396 [doi]
• Value-Risk Trade-off Analysis for Iteration Planning in Extreme ProgrammingXin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe. 397-404 [doi]
• Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner PerceptionsJim Buchan, Ling Li, Stephen G. MacDonell. 405-413 [doi]
• Towards a Tool-Supported Approach for Collaborative Process Modeling and EnactmentKomlan Akpédjé KEDJI, Minh Tu Ton That, Bernard Coulette, Rédouane Lbath, Hanh Nhi Tran, Mahmoud Nassar. 414-421 [doi]