Search results for "QSIC"

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

Publications at "QSIC"( http://dblp.L3S.de/Venues/QSIC )