DREX: Developer Recommendation with K-Nearest-Neighbor Search and Expertise Ranking
Wenjin Wu, Wen Zhang, Ye Yang, Qing Wang
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Conformance Testing for OSEK/VDX Operating System Using Model Checking
Jiang Chen, Aoki, T.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Modeling Timing Requirements in Problem Frames Using CCSL
Xiaohong Chen, Jing Liu, Mallet, F., Zhi Jin
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
Weiqiang Kong, Katahira, N., Watanabe, M., Katayama, T., Hisazumi, K., Fukuda, A.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course
Jian Chen, Guoyong Qiu, Liu Yuan, Li Zhang, Gang Lu
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Illusions and Perceptions of Transparency in Software Engineering
Yu-Cheng Tu, Thomborson, C., Tempero, E.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Causal Factors, Benefits and Challenges of Test-Driven Development: Practitioner Perceptions
Buchan, J., Ling Li, MacDonell, S. G.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
Shaoying Liu, Nakajima, S.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns
Giunta, R., Pappalardo, G., Tramontana, E.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
RobusTest: A Framework for Automated Testing of Software Robustness
Get full text
Conference Proceeding
Requirements Maturation Analysis by Accessibility and Stability
Nakatani, T., Tsumaki, T., Tsuda, M., Inoki, M., Hori, S., Katamine, K.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Intrusive Test Automation with Failed Test Case Clustering
Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Automated Verification of Load Tests Using Control Charts
Nguyen, T. H. D., Adams, B., Zhen Ming Jiang, Hassan, A. E., Nasser, M., Flora, P.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic
Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Extraction of Attribute Dependency Graph from Database Applications
Kaiping Liu, Hee Beng Kuan Tan, Xu Chen
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming
Dong, Xin, Yang, Qiu-Song, Wang, Qing, Zhai, Jian, Ruhe, Gunther
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
Dajiang Suo, Jinxia An, Jihong Zhu
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
A Method to Derive Software Architectures from Quality Requirements
Alebrahim, A., Hatebur, D., Heisel, M.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Using Variability Models to Reduce Verification Effort of Train Station Models
Svendsen, A., Haugen, O., Moller-Pedersen, B.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
VisTML: A Visual Modeling Language for Model Transformation
He Xiao, Ma Zhiyi, Liu Yi, Chen Hongjie, Shao Weizhong
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding