Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dick Hamlet |
Test-Based Specifications of Components and Systems. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Component/system testing theory, test- based specification, persistent state |
1 | Lipo Chan, Shanika Karunasekera |
Systematic Development of Quality Aware Decentralised Service-Oriented Systems. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Decentralised service-oriented system, adaptive quality, verification, methodology |
1 | Johannes Mayer, Sami Beydeda |
Message of the Program Chairs of STEV'07. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephen S. Yau |
Developing Adaptive Software with Multiple QoS Requirements. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guowei Dong, Changhai Nie, Baowen Xu, Lulu Wang |
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido |
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lian Yu, Lifeng Xu, Guanzhu Wang, Chang Yan Chi, Wenping Xiao, Hui Su |
Testability and Test Framework for Collaborative Real-Time Editing Tools. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
timeline diagram, grey-box testing, visualization, collaboration, testability, test framework |
1 | Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal |
An Automated Approach to System Testing Based on Scenarios and Operations Contracts. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Franz Wotawa |
Nondeterministic Testing with Linear Model-Checker Counterexamples. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yoonsik Cheon |
Abstraction in Assertion-Based Test Oracles. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi |
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jing Dong 0005, Tu Peng, Yajing Zhao |
Model Checking Security Pattern Compositions. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Harry M. Sneed |
Testing against Natural Language Requirements. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Burak Turhan, Ayse Basar Bener |
A Multivariate Analysis of Static Code Attributes for Defect Prediction. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Naïve Bayes, Topics: Software Quality, Methods and Tools, Software Metrics, Defect prediction |
1 | Robert A. Tefft, Roger Y. Lee |
Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lihua Duan, Jessica Chen |
Alternative B-Sequences. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, distinguishing sequence, checking sequence |
1 | Zhe (Jessie) Li, T. S. E. Maibaum |
An Approach to Integration Testing of Object-Oriented Programs. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang |
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Chevillard, Christoph Quirin Lauter |
A Certified Infinite Norm for the Implementation of Elementary Functions. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira |
Towards a Software Component Certification Framework. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Component Quality Model, Component Evaluation Techniques, Component Metrics Framework and Component Certification Process, Relevant Topics: Software Component Quality and Software Component Certification |
1 | Qianxiang Wang, Min Li, Na Meng 0001, Yonggang Liu, Hong Mei 0001 |
A Pattern-Based Constraint Description Approach for Web Services. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim 0002, Jin-Young Choi |
Formal Embedded Operating System Model Based on Resource-Based Design Framework. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zhou, Jian Kang, Feng Chen 0004, Hongji Yang |
OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Ontology, Model Driven Architecture (MDA), Knowledge Base, Software Migration |
1 | Patrícia D. L. Machado, Wilkerson de L. Andrade |
The Oracle Problem for Testing against Quantified Properties. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xin Peng 0001, Wenyun Zhao |
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sara Sprenkle, Emily Hill 0001, Lori L. Pollock |
Learning Effective Oracle Comparator Combinations for Web Applications. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Junguo Li, Gang Huang 0001, Jian Zou, Hong Mei 0001 |
Failure Analysis of Open Source J2EE Application Servers. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt |
Architectural Test Coverage for Component-Based Integration Testing. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri |
PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Liangli Ma, Houxiang Wang, Yansheng Lu |
The Design of Dependency Relationships Matrix to improve the testability of Component-based Software. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kwok Ping Chan, Tsong Yueh Chen, Dave Towey |
Probabilistic Adaptive Random Testing. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Li Meng, Xiaoyuan He, Sontakke Ashok |
Defect Prevention: A General Framework and Its Application. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Haifeng Li 0013, Minyan Lu, Qiuying Li |
Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shi Zhang, Linpeng Huang |
Formalizing Class Dynamic Software Updating. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Mara Abrahão, Emilio Insfrán |
Early Usability Evaluation in Model Driven Architecture Environments. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
User Interfaces, Conceptual Models, Model Driven Architecture, Quality Models |
1 | Yongyan Zheng, Paul Krause |
Asynchronous Semantics and Anti-patterns for Interacting Web Services. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | J. Barrie Thompson |
Do we really have provable Best Practices that ensure Software Quality? |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Chen, Lihua Duan |
Optimal Synchronizable Test Sequence from Test Segments. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing |
1 | Zhongxing Xu, Jian Zhang 0001 |
A Test Data Generation Tool for Unit Testing of C Programs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
pointer operation, unit testing, symbolic execution, Test data generation |
1 | Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural |
Improving Coverage in Functional Testing. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel |
Automatic Visualization of Abstract System Specifications. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao |
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Design, Refinement, Data Warehouse, Types, Abstract State Machines |
1 | Rune Gustavsson |
Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Gotlieb, Patrick Bernard |
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nelly Condori-Fernández, Oscar Pastor 0001 |
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Donghong Qin, Zhi Li |
Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Ali Babar 0001, Antony Tang, Ian Gorton, Jun Han 0004 |
Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Nakano, Kazuhiro Ogata 0001, Masaki Nakamura 0001, Kokichi Futatsugi |
Automating Invariant Verification of Behavioral Specifications. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
fixed-point computation, lemma discovery, algebraic specification, rewriting, authentication protocols |
1 | Lin Liu 0001, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu |
Towards A Service Requirements Ontology on Knowledge and Intention. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad M. R. Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya K. Ghose |
Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shi Ying, ZaoQing Liang, JunLi Wang, FuDi Wang |
A Reflection Mechanism for Reusing Software Architecture. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jie Yang 0014, Gang Huang 0001, Li Zhou, Zhao Liu, Meng Ye 0001, Ying Chen 0004 |
An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang |
A Framework for Extensible Component Customization for Component-based Software Development. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
component customization framework, extensible component, software reuse, Component-based software development (CBSD), application domains |
1 | Yingyi Bu, Tao Gu, XianPing Tao, Jun Li 0022, Shaxun Chen, Jian Lu 0001 |
Managing Quality of Context in Pervasive Computing. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
pervasive computing, context model, context-aware systems, quality of context |
1 | Yuen-Tak Yu, Chung Keung Poon, Marian Choy |
Experiences with PASS: Developing and Using a Programming Assignment aSsessment System. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Hedberg, Juha Iisakka |
Technical Reviews in Agile Development: Case Mobile-D^TM. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Victor K. Y. Chan, W. Eric Wong, Tianfa Xie |
Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Heng Lu 0001, W. K. Chan 0001, T. H. Tse |
Static Slicing for Pervasive Programs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Pervasive concurrent program, static slicing |
1 | Aline Lúcia Baroni, Coral Calero, Fernando Brito e Abreu, Mario Piattini |
Object-Relational Database Metrics Formalization. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Anna Derezinska |
Quality Assessment of Mutation Operators Dedicated for C# Programs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Li Tan |
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li |
Modularly Certified Dynamic Storage Allocation in SCAP. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yang Li, Ningjiang Chen, Tao Huang 0001 |
An Event-Driven Adaptive Differentiated Service Web Container Architecture. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Web Container Architecture, Differentiated Service, Event Driven |
1 | Wei-Tek Tsai, Qian Huang 0002, Bingnan Xiao, Yinong Chen |
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aneesh Krishna, Ying Guan, Aditya K. Ghose |
Co-evolution of i* Models and 3APL Agents. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohan Liao |
Government R&D Programs on Software Technology. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Mayer, Ralph Guderlei |
On Random Testing of Image Processing Applications. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
test data selection, Random Testing, testing oracle, Metamorphic Testing, test evaluation |
1 | Aditya Ghose, Qiuming Lin |
Viewpoints Merging via Incrementally Elicited Ranked Structures. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia |
A Modeling Framework for Service-Oriented Architecture. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
supply-chain management system, Service-oriented architecture, metamodeling |
1 | Zhifeng Lai, S. C. Cheung 0001, Yunfei Jiang |
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jinfeng Huang, Jeroen Voeten, Henk Corporaal |
Correctness-preserving synthesis for real-time control software. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yujian Fu, Zhijiang Dong, Xudong He |
A Method for Realizing Software Architecture Design. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peng Wang, Kai-Yuan Cai |
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Mayer, Christoph Schneckenburger |
Adaptive Random Testing with Enlarged Input Domain. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
test data selection, Random Testing, Adaptive Random Testing |
1 | Beihong Jin, Gang Li, Liang Zhang 0027 |
Reconstruct the Distributed Transaction Monitor OnceTX. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
Distributed Transaction Monitor, Optimization, Scalability, Concurrency Control, Dynamic Configuration |
1 | Jiakuan Ma, Yasha Wang |
A Quantitive Context Model of Software Process Patterns and Its Application Method. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China |
QSIC |
2006 |
DBLP BibTeX RDF |
|
1 | Lei Li, Chunlei Niu, Haoran Zheng, Jun Wei 0001 |
An Adaptive Caching Mechanism for Web Services. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi |
Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
neighbor factors interaction, Software testing, combinatorial testing |
1 | Gregg Rothermel |
Helping End-User Programmers "Engineer' Dependable Software. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nor Iadah Yusop |
Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhuopeng Zhang, Hongji Yang, William C. Chu |
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker |
Software Project Level Estimation Model Framework based on Bayesian Belief Networks. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fei Pu, Wenhui Zhang |
LTL Model Checking via Search Space Partition. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jianjun Zhao 0001 |
Control-Flow Analysis and Representation for Aspect-Oriented Programs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao |
Multiagent System for Reputation--based Web Services Selection. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Kramer |
Distributed Software Engineering: a Rigorous Architectural Approach. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yunni Xia, Hanpin Wang, Yu Huang 0004, Chunxiang Xu |
Stochastic modeling and quality evaluation of component-based software systems. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
homogeneous continuous Markovian process, Montecarlo simulation, component, Software quality, operational profile |
1 | Vasudeva Varma, Kirti Garg |
Case Studies: The Potential Teaching Instruments for Software Engineering Education. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Ali Babar 0001, Ian Gorton, D. Ross Jeffery |
Capturing and Using Software Architecture Knowledge for Architecture-Based Software Development. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Software architecture, knowledge management, software quality, software reuse, process improvement, experience factory |
1 | Sajjad Mahmood, Richard Lai 0001 |
Measuring the Complexity of a UML Component Specification. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yan Jin, Jun Han 0004 |
Runtime Validation of Behavioural Contracts for Component Software. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Keynote Speech. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia |
QSIC |
2005 |
DBLP BibTeX RDF |
|
1 | Sandy Citro, Jim McGovern, Caspar Ryan |
An Efficient Consistency Management Algorithm for Real-Time Mobile Collaboration. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wanita Sherchan, Shonali Krishnaswamy, Seng Wai Loke |
Relevant Past Performance for Selecting Web Services. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Noll |
A Peer-to-peer Architecture forWorkflow in Virtual Enterpris. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder |
Principles of Timing Anomalies in Superscalar Processors. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | R. A. Dheepak, Shakeb Ali, Ira Gupta, Hardik Dave, Adarsh Kailash Upadhyay, Lech D. Alves, Anish Damodaran, Anirban Chakrabarti, Anirban Ghosh |
Scalable Enterprise Level Workflow Manager for the Grid. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | F. T. Chan, W. H. Tang, Tsong Yueh Chen |
Software Testing Education and Training in Hong Kong. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
software testing, software engineering curriculum |