| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haiying Sun, Jing Liu 0012, Dehui Du |
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.  |
APSEC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharath Cheluvaraju, Kartikay Nagal, Anjaneyulu Pasala |
Mining Software Revision History Using Advanced Social Network Analysis. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Linghao Zhang, Chang Xu 0001, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu 0001 |
Resynchronizing Model-Based Self-Adaptive Systems with Environments. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Muhammad Ali Shah, Maurizio Morisio, Marco Torchiano |
An Overview of Software Defect Density: A Scoping Study. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claes Wohlin, Darja Smite |
Classification of Software Transfers. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunuk Park, Dae-Kyoo Kim, Sooyong Park |
Pattern-Based Model Transformation Using QVT. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Weam M. Farid |
The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile Processes. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadaytullah, Allan Gregersen, Kai Koskimies |
Pattern-Based Dynamic Maintenance of Software Systems. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhai Nie, Huayao Wu, Yalan Liang, Hareton Leung, Fei-Ching Kuo, Zheng Li 0002 |
Search Based Combinatorial Testing. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel |
Relationships Formalization for Model-Based Product Lines. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Izuru Kume, Masahide Nakamura, Etsuya Shibayama |
Toward Comprehension of Side Effects in Framework Applications as Feature Interactions. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel |
Leveraging CVL to Manage Variability in Software Process Lines. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki |
Model Transformation Patterns for Introducing Suitable Information Systems. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Balwinder Sodhi, T. V. Prabhakar |
Assessing Platform Suitability for Achieving Quality in Guest Applications. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyan Xu, Haihong Zhao, Sheau Ling Tan, Lin Liu 0001 |
Service-Driven Migrating of Enterprise Information Systems: A Case Study. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiexin Zhang 0002, Yang Liu 0003, Mikhail Auguston, Jun Sun 0001, Jin Song Dong |
Using Monterey Phoenix to Formalize and Verify System Architectures. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun Cho, Jeff Gray 0001, Eugene Syriani |
Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lili Mou, Ge Li 0001, Zhi Jin, Yangyang Lu, Yiyang Hao |
Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Long, Wenhui Zhang |
Proving Liveness Property under Fairness Requirements. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Kirk, Ewan D. Tempero |
Software Development Practices in New Zealand. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Peng, Han Lai |
DRE-specific Wikis for Distributed Requirements Engineering: A Review. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard |
Towards Tool Integration through Artifacts and Roles. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Lee 0004, Kuo-Hsun Hsu, Shin-Jie Lee, Wen-Tin Lee |
Discovering Early Aspects through Goals Interactions. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | ShanShan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song |
A Trust Impact Analysis Model for Composite Service Evolution. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiwei Zhang, Eric Lo 0001, Ben Kao |
Evaluation Metric for Multiple-Bug Localization with Simple and Complex Predicates. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Schönböck, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
Debugging Model-to-Model Transformations. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiqiang Kong, Leyuan Liu 0002, Yoriyuki Yamagata, Kenji Taguchi 0001, Hitoshi Ohsaki, Akira Fukuda |
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Anderson, Paul Montague, Benjamin Long |
A Context-Based Integrity Framework. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Morandi, Sebastian Nanz, Bertrand Meyer 0001 |
Who is Accountable for Asynchronous Exceptions? |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoquan Wu, Jun Wei, Xu Wang |
Debug Concurrent Programs with Visualization and Inference of Event Structure. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi |
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazri Kama, Faizul Azli |
A Change Impact Analysis Approach for the Software Development Phase. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fauziah binti Zainuddin, Shaoying Liu |
An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara |
Test Case Selection Based on Path Condtions of Symbolic Execution. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Yang 0018, Raula Gaikovina Kula, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Hajimu Iida |
Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN). |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Roy 0001, Sidharth Bihary, Jose Alfonso Corso Laos |
A CSP-theoretic Framework of Checking Conformance of Business Processes. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Longming Dong, Ji Wang 0001, Liqian Chen |
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba |
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghong Chen, Xiwei Xu 0001, Liming Zhu 0001 |
Web Platform API Design Principles and Service Contract. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen N. Kulkarni, Deepti Parachuri, Madhuri Dasa, Abhishek Kumar |
Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter? |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Akito Monden, Jacky Wai Keung, Shuji Morisaki, Yasutaka Kamei, Ken-ichi Matsumoto |
A Heuristic Rule Reduction Approach to Software Fault-proneness Prediction. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Singh Rathore, Atul Gupta |
Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault Proneness. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Lochmann, Daniel Méndez Fernández, Stefan Wagner 0001 |
A Case Study on Specifying Quality Requirements Using a Quality Model. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Chi Chen, Ching-Chin Chern, Chung-Yang Chen |
Software Project Team Characteristics and Team Performance: Team Motivation as a Moderator. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijie Wang, Yanzhen Zou, Lu Fang, Bing Xie, Fuqing Yang |
An Exploratory Study of API Usage Examples on the Web. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Liu 0008, Wei Zhang 0004, Haiyan Zhao, Zhi Jin |
A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luxi Chen, Linpeng Huang, Chen Li 0009, Weichao Luo |
Software Architecture Matching by Meta-model Extension and Refinement. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunming Nie, Li Zhang 0029 |
Software Feature Location Based on Topic Models. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth |
Efficient Modelling of Embedded Software Systems and their Formal Verification. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mo Li 0003, Shaoying Liu |
Automated Functional Scenarios-Based Formal Specification Animation. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Nakajima 0001 |
Importance Sampling of Runtime Interference. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Najeeb Ullah, Maurizio Morisio |
An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth Models. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahvish Khurum, Niroopa Uppalapati, Ramya Chowdary Veeramachaneni |
Software Requirements Triage and Selection: State-of-the-Art and State-of-Practice. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hirohisa Aman |
An Empirical Analysis of the Impact of Comment Statements on Fault-Proneness of Small-Size Module. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uaychai Chotjaratwanich, Chonlameth Arpnikanondt |
A Visualization Technique for Metrics-Based Hierarchical Quality Models. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Chalabine |
Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Zen Yang, Chun-Chi Hou, Wei-Chen Kao, Ing-Xiang Chen |
An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature Selection. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières |
The Case for Using Simulation to Validate Event-B Specifications. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang 0007, Tian Zhang 0001 |
Hybrid Interface Automata. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorui Zhang, Øystein Haugen, Birger Møller-Pedersen |
Augmenting Product Lines. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Combemale, Xavier Crégut, Marc Pantel |
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
Behavioural Analysis for Distributed Simulations. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdehamid Abdelhadi Mansor, Wan M. N. Wan-Kadir, Toni Anwar, Shamsul Sahibuddin |
Analysis of Adaptive Policy-Based Approach to Avoid Policy Conflicts. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Sun, Xiaohong Zhang, Hao Wu |
Extending Linden Scripting Language on OpenSim. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shimul Kumar Nath, Robert G. Merkel, Man Fai Lau, Tanay Kanti Paul |
Towards a Better Understanding of Testing if Conditionals. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan Schmidt, Oliver Horst |
Software-Based Online Monitoring of Cache Contents on Platforms without Coherence Fabric. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Bowles, Dulani Apeksha Meedeniya |
Parametric Transformations for Flexible Analysis. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang 0002, Kazuhiro Ogata 0001 |
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, ShanShan Qi |
Trust-Based Service Composition and Optimization. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Zhou, Wenbo Zhang 0006, Jianhua Zhang |
Semi-static Detection of Runtime Type Errors in Component-Based Java Programs. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai |
Linking Functions and Quality Attributes for Software Evolution. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Yoshida, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue |
An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Saadatmand, Mikael Sjödin |
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianxiao Gu, Chun Cao, Chang Xu 0001, Xiaoxing Ma, Linghao Zhang, Jian Lu 0001 |
Javelus: A Low Disruptive Approach to Dynamic Software Updates. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Tiwari 0001, Santosh Singh Rathore, Abhijeet Singh, Abhinav Singh, Atul Gupta |
An Approach to Generate Actor-Oriented Activity Charts from Use Case Requirements. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaman Wijesiriwardana, Giacomo Ghezzi, Harald C. Gall |
A Guided Mashup Framework for Rapid Software Analysis Service Composition. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Priyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh 0001 |
Precise Analysis of Large Industry Code. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Padberg, Michael Mirold |
An Experimentation Platform for the Automatic Parallelization of R Programs. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Babar, Bernard Wong 0002 |
Capturing Strategic Business Requirements: An Exploratory Study. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl R. P. H. Leung, Pornsiri Muenchaisri (eds.) |
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012 |
APSEC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chaman Wijesiriwardana, Giacomo Ghezzi, Emanuel Giger, Atsushi Sawada, Harald C. Gall |
Dependency Based Approach for Software Analysis Web Services Replacement. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dang Viet Dzung, Atsushi Ohnishi |
A Verification Method of Elicited Software Requirements Using Requirements Ontology. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhong 0001, Ye Yang, Jacky W. Keung |
Assessing the Representativeness of Open Source Projects in Empirical Software Engineering Studies. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Wei Wang |
Calculating Preconditions for Parallel Workflows. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaukat Ali 0001, Tao Yue 0002 |
Studying the Understandability of Aspect State Machines through the Weaving Activity. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Ling, Tom Maibaum |
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Dragomir, Horst Lichter |
Model-Based Software Architecture Evolution and Evaluation. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Lokan, Emilia Mendes |
Investigating the Use of Duration-Based Moving Windows to Improve Software Effort Prediction. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Jeners, Horst Lichter, Elena Pyatkova |
Automated Comparison of Process Improvement Reference Models Based on Similarity Metrics. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdian Thung, David Lo 0001, Lingxiao Jiang |
Diffusion of Software Features: An Exploratory Study. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, ShanShan Qi |
A Preference and Honesty Aware Trust Model for Web Services. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jari Pääkkö, Mikko Raatikainen, Varvana Myllärniemi, Tomi Männistö |
Applying Recommendation Systems for Composing Dynamic Services for Mobile Devices. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Lee 0004, Alan Liu, Yu Chin Cheng, Shang-Pin Ma, Shin-Jie Lee |
Execution Plan for Software Engineering Education in Taiwan. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalja Nikitina, Mira Kajko-Mattsson |
Process Model of Software Method Transition. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Pin Ma, Jonathan Lee 0004 |
A Graph-Based Approach to Web Service Matchmaking. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiping Liu, Hee Beng Kuan Tan, Lwin Khin Shar |
Semi-Automated Verification of Defense against SQL Injection in Web Applications. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Sakai, Kohei Maruchi, Takeo Imai |
Model-Checking C Programs against JML-like Specification Language. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Maskeri Rama, Deepthi Karnam, Sree Aurovindh Viswanathan, Srinivas Padmanabhuni |
Bug Prediction Metrics Based Decision Support for Preventive Software Maintenance. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Liu, Jianwen Su, Xuandong Li |
Proactive Enforcement of Data Consistency by Business Processes. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh H. Tran, Alan W. Colman, Jun Han 0004, Hongyu Zhang 0002 |
Modeling and Verification of Context-Aware Systems. |
APSEC |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license