share record
persistent URL:
Tsutomu Kumazawa , Tetsuo Tamai : Iterative Model Fixing with Counterexamples. APSEC 2008 : 369-376 share record
persistent URL:
Chong-Won Lee , Byungjeong Lee , Chisu Wu : Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software Products. APSEC 2008 : 169-176 share record
persistent URL:
Chenguang Luo , Guanhua He , Shengchao Qin : A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008 : 127-134 share record
persistent URL:
Zengkai Ma , Jianjun Zhao : Test Case Prioritization Based on Analysis of Program Structure. APSEC 2008 : 471-478 share record
persistent URL:
Andreas Malaer , Matthias Lampe : SimPL A Simple Software Production Line for End User Development. APSEC 2008 : 179-186 share record
persistent URL:
Katsuhisa Maruyama , Kensuke Tokoda : Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities. APSEC 2008 : 445-452 share record
persistent URL:
Kedian Mu , Zhi Jin , Didar Zowghi : A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. APSEC 2008 : 291-298 share record
persistent URL:
Yogesh Murarka , Umesh Bellur : Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs. APSEC 2008 : 93-100 share record
persistent URL:
Tien N. Nguyen : Component-Based Software Update Process in Collaborative Software Development. APSEC 2008 : 437-444 share record
persistent URL:
Hideto Ogawa , Fumihiro Kumeno , Shinichi Honiden : Model Checking Process with Goal Oriented Requirements Analysis. APSEC 2008 : 377-384 share record
persistent URL:
Amir Pnueli : Using Abstraction to Verify Arbitrary Temporal Properties. APSEC 2008 : 3 share record
persistent URL:
Mario Pukall , Christian Kästner , Gunter Saake : Towards Unanticipated Runtime Adaptation of Java Applications. APSEC 2008 : 85-92 share record
persistent URL:
Yi Qu , Bo Zhou , Xiaochun Zhu : Early Estimate the Size of Test Suites from Use Cases. APSEC 2008 : 487-492 share record
persistent URL:
Juha Savolainen , Juha Kuusela : Scheduling Product Line Features for Effective Roadmapping. APSEC 2008 : 195-202 export record
dblp key:
conf/apsec/SchougaardHC08 share record
persistent URL:
Kari R. Schougaard , Klaus Marius Hansen , Henrik Bærbak Christensen : SA@Work A Field Study of Software Architecture and Software Quality at Work. APSEC 2008 : 411-418 share record
persistent URL:
Vivek K. Shanbhag : Deadlock-Detection in Java-Library Using Static-Analysis. APSEC 2008 : 361-368 share record
persistent URL:
Wuwei Shen , W. Eric Wong : Flexible Aspect-Oriented Design Model Checking. APSEC 2008 : 537-544 share record
persistent URL:
Osamu Shigo : Jackson's JSP-Like Method for State Transition Design. APSEC 2008 : 307-314 share record
persistent URL:
Bingu Shim , Siho Choue , Suntae Kim , Sooyong Park : A Design Quality Model for Service-Oriented Architecture. APSEC 2008 : 403-410 export record
dblp key:
conf/apsec/SiegmundRKKS08 share record
persistent URL:
Norbert Siegmund , Marko Rosenmüller , Martin Kuhlemann , Christian Kästner , Gunter Saake : Measuring Non-Functional Properties in Software Product Line for Product Derivation. APSEC 2008 : 187-194 share record
persistent URL:
Raymund Sison : Investigating Pair Programming in a Software Engineering Course in an Asian Setting. APSEC 2008 : 325-331 export record
dblp key:
conf/apsec/SlyngstadCBCV08 share record
persistent URL:
Odd Petter N. Slyngstad , Reidar Conradi , Muhammad Ali Babar , Viktor Clerc , Hans van Vliet : Risks and Risk Management in Software Architecture Evolution: An Industrial Survey. APSEC 2008 : 101-108 share record
persistent URL:
Krzysztof Stencel , Patrycja Wegrzynowicz : Detection of Diverse Design Pattern Variants. APSEC 2008 : 25-32 export record
dblp key:
conf/apsec/Syed-MohamadM08 share record
persistent URL:
Sharifah Mashita Syed-Mohamad , Tom McBride : A Comparison of the Reliability Growth of Open Source and In-House Software. APSEC 2008 : 229-236 share record
persistent URL:
Takamitsu Tahara , Katsuhiko Gondow , Seiya Ohsuga : DRACULA: Detector of Data Races in Signals Handlers. APSEC 2008 : 17-24 share record
persistent URL:
Hiroaki Tanizaki , Takuya Katayama : Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. APSEC 2008 : 343-350 share record
persistent URL:
Ewan D. Tempero : An Empirical Study of Unused Design Decisions in Open Source Java Software. APSEC 2008 : 33-40 share record
persistent URL:
Zheng Wang , Xiao Yu , Geguang Pu , Libo Feng , Huibiao Zhu , Jifeng He : Execution Semantics for rCOS. APSEC 2008 : 119-126 share record
persistent URL:
Ji Wu , Liu Yang , Xu Luo : Jata: A Language for Distributed Component Testing. APSEC 2008 : 145-152 share record
persistent URL:
Jianjun Xu , Qingping Tan , Rui Shen : A Novel Optimum Data Duplication Approach for Soft Error Detection. APSEC 2008 : 161-168