17. APSEC 2011: Ho Chi Minh City, Vietnam

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 Tue May 22 23:22:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page