17. APSEC 2011: Ho Chi Minh City, Vietnam

Tran Dan Thu, Karl R. P. H. Leung (Eds.): 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. IEEE 2011, ISBN 978-1-4577-2199-1

Project Management and Software Engineering Education

Akinori Saito, Takumi Kusanagi, Koichiro Ochimizu:
A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model. 1-8
Frank Padberg, David Weiss:
Optimal Scheduling of Software Projects Using Reinforcement Learning. 9-16
Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu:
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course. 17-24

Software Security and Safety

Marc Frappier, Amel Mammar:
Proving Non-interference on Reachability Properties: A Refinement Approach. 25-32
Zhenbo Xu, Jian Zhang, Zhongxing Xu:
Memory Leak Detection Based on Memory State Transition Graph. 33-40
Caglar Ulucenk, Vijay Varadharajan, Venkatesan Balakrishnan, Udaya Kiran Tupakula:
Techniques for Analysing PDF Malware. 41-48

Formal Methods

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. 49-56
Atif Mashkoor, Jean-Pierre Jacquot:
Stepwise Validation of Formal Specifications. 57-64
Amine Raji, Philippe Dhaussy:
Use Cases Modeling for Scalable Model-Checking. 65-72

Software Testing I

Shaoying Liu, Shin Nakajima:
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. 73-80
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda:
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. 81-88
Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan:
Intrusive Test Automation with Failed Test Case Clustering. 89-96
Alberto Bastias, Sidharth Bihary, Suman Roy:
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. 97-105

Software Architecture I

Eban Escott, Paul A. Strooper, Jörn Guy Süß, Paul King:
Architecture-Centric Model-Driven Web Engineering. 106-113
Hakan Burden, Rogardt Heldal, Toni Siljamaki:
Executable and Translatable UML - How Difficult Can it Be? 114-121
Zahra Zohrevand, Yusef Mehrdad Bibalan, Raman Ramsin:
Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering. 122-129
Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao:
VisTML: A Visual Modeling Language for Model Transformation. 130-137

Maintenance and Evolution

Kaiping Liu, Hee Beng Kuan Tan, Xu Chen:
Extraction of Attribute Dependency Graph from Database Applications. 138-145
Ashish Sureka, Sangeeta Lal, Lucky Agarwal:
Applying Fellegi-Sunter (FS) Model for Traceability Link Recovery between Bug Databases and Version Archives. 146-153
Thi Thanh Huyen Phan, Koichiro Ochimizu:
Toward Inconsistency Awareness in Collaborative Software Development. 154-162
Katsunori Oyama, Atsushi Takeuchi, Hua Ming, Carl K. Chang:
A Concept Lattice for Recognition of User Problems in Real User Monitoring. 163-170

Software Testing II

Ali Shahrokni, Robert Feldt:
RobusTest: A Framework for Automated Testing of Software Robustness. 171-178
Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang:
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. 179-186
Eban Escott, Paul A. Strooper, Jim Steel, Paul King:
Integrating Model-Based Testing in Model-Driven Web Engineering. 187-194
Björn Bartels, Sabine Glesner:
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. 195-202

Software Architecture II

Shin Nakajima:
An Architecture of Dynamically Adaptive PHP-based Web Applications. 203-210
Mikio Aoyama, Hayaki Tanabe:
A Design Methodology for Real-Time Distributed Software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive Software. 211-218
Boutheina Bannour, Christophe Gaston, David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. 219-226

Metrics and Measurement

Zude Li, Jun Long:
A Case Study of Measuring Degeneration of Software Architectures from a Defect Perspective. 242-249
Yang Yuan, Yao Guo:
CMCD: Count Matrix Based Code Clone Detection. 250-257

Verification and Validation

Dajiang Suo, Jinxia An, Jihong Zhu:
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. 266-273
Jiang Chen, Toshiaki Aoki:
Conformance Testing for OSEK/VDX Operating System Using Model Checking. 274-281
Thanh H. D. Nguyen, Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora:
Automated Verification of Load Tests Using Control Charts. 282-289
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol:
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. 290-297

Software Architecture III

Atsushi Sawada, Masami Noro, Han-Myung Chang, Yoshinari Hachisu, Atsushi Yoshida:
A Design Map for Recording Precise Architecture Decisions. 298-305
Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana:
Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns. 306-314
Ural Erdemir, Umut Tekin, Feza Buzluca:
Object Oriented Software Clustering Based on Community Structure. 315-321
Azadeh Alebrahim, Denis Hatebur, Maritta Heisel:
A Method to Derive Software Architectures from Quality Requirements. 322-330

Program Analysis

Lee Wei Mar, Ye-Chi Wu, Hewijin Christine Jiau:
Recommending Proper API Code Examples for Documentation Purpose. 331-338
Sirinut Thangthumachit, Shinpei Hayashi, Motoshi Saeki:
Understanding Source Code Differences by Separating Refactoring Effects. 339-347
Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Using Variability Models to Reduce Verification Effort of Train Station Models. 348-356

Requirements Engineering

Takako Nakatani, Toshihiko Tsumaki, Michio Tsuda, Mari Inoki, Shouzo Hori, Keiichi Katamine:
Requirements Maturation Analysis by Accessibility and Stability. 357-364
Yu-Cheng Tu, Clark D. Thomborson, Ewan D. Tempero:
Illusions and Perceptions of Transparency in Software Engineering. 365-372
Osamu Shigo, Kaoru Yokoyama:
A State Machine Analysis Support System Based on the Problem Frames. 373-380
Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin:
Modeling Timing Requirements in Problem Frames Using CCSL. 381-388

Software Process and Quality

Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang:
DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking. 389-396
Xin Dong, Qiusong Yang, Qing Wang, Jian Zhai, Günther Ruhe:
Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming. 397-404
Jim Buchan, Ling Li, Stephen G. MacDonell:
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions. 405-413
Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Rédouane Lbath, Hanh Nhi Tran, Mahmoud Nassar:
Towards a Tool-Supported Approach for Collaborative Process Modeling and Enactment. 414-421

Last update Sat May 25 17:26:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page