Search results for "QSIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jianying Xing, Mengjun Li, Zhoujun Li 0001	Automated Program Verification Using Generation of Invariants.	QSIC	2010	DBLP DOI BibTeX RDF
1	Chorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang	Supporting Tool for Embedded Software Testing.	QSIC	2010	DBLP DOI BibTeX RDF
1	Chengying Mao	Control and Data Complexity Metrics for Web Service Compositions.	QSIC	2010	DBLP DOI BibTeX RDF
1	Andrew Kevin Douglas, Robert John Walters, Gary B. Wills	NPE A Conceptual Model and Language for the Representation of Norms.	QSIC	2010	DBLP DOI BibTeX RDF
1	Chunyan Ma, JunSheng Wu, Tao Zhang, Fei Hu	Web Services Testing Based on Stream X-machine.	QSIC	2010	DBLP DOI BibTeX RDF
1	Paola Inverardi	Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?	QSIC	2010	DBLP DOI BibTeX RDF
1	Xiaofeng Lei, Chenggang Bai, Liang Su	Software Operational Profile Modeling and Reliability Prediction with an Open Environment.	QSIC	2010	DBLP DOI BibTeX RDF
1	Hai Wan, Xiaoyu Song, Gang Chen 0004, Ming Gu 0001	A Refinement-Based Validation Method for Programmable Logic Controllers.	QSIC	2010	DBLP DOI BibTeX RDF
1	Yi Zhu 0008, Zhiqiu Huang, Zining Cao, Hang Zhou 0002, Min Yuan	An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.	QSIC	2010	DBLP DOI BibTeX RDF
1	Bo Ma, Bin Chen, Xiaoying Bai, Junfei Huang	Design of BDI Agent for Adaptive Performance Testing of Web Services.	QSIC	2010	DBLP DOI BibTeX RDF
1	Jing Chen, Chung-Ping Young, Da-Wei Chang, Guan-Ying Huang, Chung-Yuan Ke, Shih-Tun Yen, Tsang-Shuo Kuo	Building Multi-kernel Embedded System on PAC Multi-core Platform.	QSIC	2010	DBLP DOI BibTeX RDF
1	Sihan Li, Naiwen Bian, Zhenyu Chen 0001, Dongjiang You, Yuchen He	A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization.	QSIC	2010	DBLP DOI BibTeX RDF
1	Edward Y. Y. Kan, W. K. Chan 0001, T. H. Tse	Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines.	QSIC	2010	DBLP DOI BibTeX RDF
1	Yuankai Wu, Yijian Wu, Xin Peng 0001, Wenyun Zhao	Implementing Self-Adaptive Software Architecture by Reflective Component Model and Dynamic AOP: A Case Study.	QSIC	2010	DBLP DOI BibTeX RDF
1	Lei Zhao, Kai-Yuan Cai	Event Handler-Based Coverage for GUI Testing.	QSIC	2010	DBLP DOI BibTeX RDF
1	T. H. Ng, Yuen-Tak Yu, S. C. Cheung 0001	Factors for Effective Use of Deployed Design Patterns.	QSIC	2010	DBLP DOI BibTeX RDF
1	Bo Jiang 0001, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li	Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.	QSIC	2010	DBLP DOI BibTeX RDF
1	Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa	Open Code Coverage Framework: A Consistent and Flexible Framework for Measuring Test Coverage Supporting Multiple Programming Languages.	QSIC	2010	DBLP DOI BibTeX RDF
1	Bo Jiang 0001, W. K. Chan 0001	On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization.	QSIC	2010	DBLP DOI BibTeX RDF
1	Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu	A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.	QSIC	2010	DBLP DOI BibTeX RDF
1	Huai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen	Adaptive Random Testing by Exclusion through Test Profile.	QSIC	2010	DBLP DOI BibTeX RDF
1	Jiang B. Liu, Nithya Vasudevan Praveen, Kumar Macherla	Develop Web Services for Reliable Cross-Platform Web Applications.	QSIC	2010	DBLP DOI BibTeX RDF
1	Ke Zhai 0002, W. K. Chan 0001	Point-of-Interest Aware Test Case Prioritization: Methods and Experiments.	QSIC	2010	DBLP DOI BibTeX RDF
1	Christian Schwarzl, Bernhard Peischl	Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems.	QSIC	2010	DBLP DOI BibTeX RDF
1	Hong Zhu 0002, Bo Yu	An Experiment with Algebraic Specifications of Software Components.	QSIC	2010	DBLP DOI BibTeX RDF
1	ZhenHong Xu	Modeling and Analysis of the Behavior of uCOS Kernel Based on CSP.	QSIC	2010	DBLP DOI BibTeX RDF
1	Emad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman	Prioritizing Unit Test Creation for Test-Driven Maintenance of Legacy Systems.	QSIC	2010	DBLP DOI BibTeX RDF
1	Xiaohong Li 0001, Yan Cao, Zhiyong Feng 0002, Ran Liu	Web Service Security Analysis Model Based on Program Slicing.	QSIC	2010	DBLP DOI BibTeX RDF
1	Björn Bartels, Sabine Glesner	Formal Modeling and Verification of Low-Level Software Programs.	QSIC	2010	DBLP DOI BibTeX RDF
1	Jun-Qing Chen, Linpeng Huang	A Type System for Behavior Consistent Service Substitution in Service Compositions.	QSIC	2010	DBLP DOI BibTeX RDF
1	Hans van Vliet	Knowledge Sharing in Software Development.	QSIC	2010	DBLP DOI BibTeX RDF
1	Changzhi Zhao, Wei Dong 0006, Zhichang Qi	Active Monitoring for Control Systems under Anticipatory Semantics.	QSIC	2010	DBLP DOI BibTeX RDF
1	Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu	A Fault-Tolerant Strategy for Improving the Reliability of Service Composition.	QSIC	2010	DBLP DOI BibTeX RDF
1	Alberto González-Sanchez 0002, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund	Prioritizing Tests for Software Fault Localization.	QSIC	2010	DBLP DOI BibTeX RDF
1	Zhenhua Duan, Cong Tian	An Executable Concurrent Model for OWL-S Process Models.	QSIC	2010	DBLP DOI BibTeX RDF
1	Shujuan Jiang, Hongchang Zhang, Qingtan Wang, Yanmei Zhang	A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack Traces.	QSIC	2010	DBLP DOI BibTeX RDF
1	Yusaku Yoshida, Atsushi Ohnishi	Visualized Scenario Classification Method.	QSIC	2010	DBLP DOI BibTeX RDF
1	Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu 0012	Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.	QSIC	2010	DBLP DOI BibTeX RDF
1	Ziyou Wang, Minghui Zhou 0001, Hong Mei 0001	Towards an Empirical Reuse Approach for the Software Evolution: A Case Study.	QSIC	2010	DBLP DOI BibTeX RDF
1	Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya	An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and its Implementation.	QSIC	2010	DBLP DOI BibTeX RDF
1	Haihe Shi, Jinyun Xue	Generating Provably Correct Algorithmic Programs from Formal Specifications.	QSIC	2010	DBLP DOI BibTeX RDF
1	Nuyun Zhang, Gang Huang 0001, Ying Zhang 0012, Ning Jiang, Hong Mei 0001	Automating Reusable-Procedure Discovery through Developer's Action Analysis.	QSIC	2010	DBLP DOI BibTeX RDF
1	King Chun Foo, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Ying Zou 0001, Parminder Flora	Mining Performance Regression Testing Repositories for Automated Performance Analysis.	QSIC	2010	DBLP DOI BibTeX RDF
1	Franz Wotawa	Fault Localization Based on Dynamic Slicing and Hitting-Set Computation.	QSIC	2010	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001	Scenarios-Based Testing of Systems with Distributed Ports.	QSIC	2010	DBLP DOI BibTeX RDF
1	Vidroha Debroy, W. Eric Wong, Xiaofeng Xu, Byoungju Choi	A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques.	QSIC	2010	DBLP DOI BibTeX RDF
1	Moisés Rodríguez, Marcela Genero, Damiano Torre, Belen Blasco, Mario Piattini	A Methodology for Continuos Quality Assessment of Software Artefacts.	QSIC	2010	DBLP DOI BibTeX RDF
1	Ji Wang, W. K. Chan 0001, Fei-Ching Kuo (eds.)	Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010	QSIC	2010	DBLP BibTeX RDF
1	Xiaoyuan Xie, Tsong Yueh Chen, Baowen Xu	Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques.	QSIC	2010	DBLP DOI BibTeX RDF
1	Yuan-Hsin Tung, Shian-Shyong Tseng, Tsung-Ju Lee, Jui-Feng Weng	A Novel Approach to Automatic Test Case Generation for Web Applications.	QSIC	2010	DBLP DOI BibTeX RDF
1	Yuting Chen, Shaoying Liu, Linzhang Wang	An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.	QSIC	2010	DBLP DOI BibTeX RDF
1	Gibeon Soares de Aquino Júnior, Silvio Romero de Lemos Meira	An Approach to Measure Value-Based Productivity in Software Projects.	QSIC	2009	DBLP DOI BibTeX RDF	Measurement, Process, Productivity
1	Martin Weiglhofer, Franz Wotawa	Improving Coverage Based Test Purposes.	QSIC	2009	DBLP DOI BibTeX RDF	coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes
1	Qianxiang Wang	An Intuitive Approach for Specifying Interface Constraint.	QSIC	2009	DBLP DOI BibTeX RDF	constraint, Interface, graph, temporal
1	Silvia Abrahão, Emilio Insfrán, José A. Carsí, Marcela Genero, Mario Piattini	Evaluating the Ability of Novice Analysts to Understand Requirements Models.	QSIC	2009	DBLP DOI BibTeX RDF	Requirements Engineering, Empirical Software Engineering, Method Evaluation
1	Daniel M. Zimmerman, Joseph R. Kiniry	A Verification-Centric Software Development Process for Java.	QSIC	2009	DBLP DOI BibTeX RDF	Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language
1	Min Zhang 0002, Kazuhiro Ogata 0001	Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications.	QSIC	2009	DBLP DOI BibTeX RDF
1	Wei Song 0003, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu 0001	Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.	QSIC	2009	DBLP DOI BibTeX RDF	Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties
1	Bandar Alshammari, Colin J. Fidge, Diane Corney	Security Metrics for Object-Oriented Class Designs.	QSIC	2009	DBLP DOI BibTeX RDF	Security, Metrics, Refactoring, Quality, Design Principles
1	Takao Shimomura, Kenji Ikeda, Muneo Takahashi	Synchronization of Multi-window Requests for Server-Side Regression Test of Web Applications.	QSIC	2009	DBLP DOI BibTeX RDF	Server-side, Synchronization, Web Applications, Regression Test
1	Seunghun Park, HyeonJeong Kim, Doo-Hwan Bae	Change Impact Analysis of a Software Process Using Process Slicing.	QSIC	2009	DBLP DOI BibTeX RDF	process slicing, software process, impact analysis, process change
1	Heidar Pirzadeh, Luay Alawneh, Abdelwahab Hamou-Lhadj	Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem.	QSIC	2009	DBLP DOI BibTeX RDF	Design and architecture recovery, quality of the source code in software maintenance, utility components
1	Christopher Burgess 0001, Aneesh Krishna, Li Jiang 0006	Towards Optimising Non-functional Requirements.	QSIC	2009	DBLP DOI BibTeX RDF	softgoal interdependency ruleset graphs, Requirements engineering, non-functional requirements, NFR framework
1	Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl	From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation.	QSIC	2009	DBLP DOI BibTeX RDF	test case generation, LOTOS, UML Statechart
1	Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni	Interactive Specification and Verification of Behavioural Adaptation Contracts.	QSIC	2009	DBLP DOI BibTeX RDF	components and services, behavioural interface, adaptation, validation and verification, graphical notation
1	Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho	ADAM: Web Anomaly Detection Assistant Based on Feature Matrix.	QSIC	2009	DBLP DOI BibTeX RDF	network security, anomaly detection, web security, web data mining
1	Gordon Fraser 0001, Franz Wotawa	Increasing Diversity in Coverage Test Suites Using Model Checking.	QSIC	2009	DBLP DOI BibTeX RDF	test redundancy, test diversity, model checking, test case generation, specification based testing, test coverage
1	César Andrés, Mercedes G. Merayo, Manuel Núñez 0001	Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.	QSIC	2009	DBLP DOI BibTeX RDF	Probabilistic formal models, Formal methods, Passive testing
1	Alberto González-Sanchez 0002, Éric Piel, Hans-Gerhard Groß	RiTMO: A Method for Runtime Testability Measurement and Optimisation.	QSIC	2009	DBLP DOI BibTeX RDF	runtime testability, cig, runtime testing, optimization
1	Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang	A Hybrid Approach to Detecting Security Defects in Programs.	QSIC	2009	DBLP DOI BibTeX RDF	security defects, model checking, feature extraction, static analysis, fuzzy inference, ontology model
1	Suntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim	GARDIAN: A Tool for Validating Rule-Based Modeling Methods.	QSIC	2009	DBLP DOI BibTeX RDF	Model, UML, Rule, COMET
1	Eun Jung	A Test Process Improvement Model for Embedded Software Developments.	QSIC	2009	DBLP DOI BibTeX RDF
1	Chanwook Kim, Keun Lee	Software Quality Model for Consumer Electronics Product.	QSIC	2009	DBLP DOI BibTeX RDF	Reusability, Consumer Electronics, Software Quality Model
1	Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai	Improving Software Testing Cost-Effectiveness through Dynamic Partitioning.	QSIC	2009	DBLP DOI BibTeX RDF	software testing, random testing, partition testing, dynamic partitioning
1	Xiang Chen 0005, Qing Gu, Xin Zhang 0010, Daoxu Chen	Building Prioritized Pairwise Interaction Test Suites with Ant Colony Optimization.	QSIC	2009	DBLP DOI BibTeX RDF	prioritized interaction testing, Software testing, ant colony optimization
1	Michael Felderer, Philipp Zech, Frank Fiedler, Joanna Chimiak-Opoka, Ruth Breu	Towards Adaptive Test Code Generation for Service Oriented Systems.	QSIC	2009	DBLP DOI BibTeX RDF	Model-Driven Testing, Quality of Services, Service Oriented Architecture, Requirements Specification, System Testing
1	Ricardo Pérez-Castillo, César Guerra-García, Mario Piattini, María Ángeles Moraga	Developing Data Quality Aware Applications.	QSIC	2009	DBLP DOI BibTeX RDF	Data Quality, Software Quality Assurance, Software Development Methodologies
1	Xiaofang Zhang, Huamao Shan, Ju Qian	Resource-Aware Test Suite Optimization.	QSIC	2009	DBLP DOI BibTeX RDF	test suite optimization, 0-1 knapsack, regression testing, resource-aware
1	Foutse Khomh, Stéphane Vaucher, Yann-Gaël Guéhéneuc, Houari A. Sahraoui	A Bayesian Approach for the Detection of Code and Design Smells.	QSIC	2009	DBLP DOI BibTeX RDF	design smells, software quality, bayesian belief networks, code smells
1	Lian Yu, Wei-Tek Tsai, Wei Zhao 0003, Jun Zhu, Qianxing Wang	Towards Selecting Test Data Using Topological Structure of Boolean Expressions.	QSIC	2009	DBLP DOI BibTeX RDF	T-model, Bealoon expression, fault-based testing
1	Carmen Moraga, María Ángeles Moraga, Coral Calero, Angélica Caro	SQuaRE-Aligned Data Quality Model for Web Portals.	QSIC	2009	DBLP DOI BibTeX RDF	data quality, quality model, web portals
1	Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfrán	Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia.	QSIC	2009	DBLP DOI BibTeX RDF	Gaia, Requirements Engineering, Agent-oriented Methodologies
1	Yuen-Tak Yu, Eric Ying Kwong Chan, Pak-Lok Poon	On the Coverage of Program Code by Specification-Based Tests.	QSIC	2009	DBLP DOI BibTeX RDF	path coverage, specification-based testing, code coverage, classification-tree method, category-partition method
1	Xiaoyuan Xie, Joshua Wing Kei Ho, Christian Murphy, Gail E. Kaiser, Baowen Xu, Tsong Yueh Chen	Application of Metamorphic Testing to Supervised Classifiers.	QSIC	2009	DBLP DOI BibTeX RDF	Machine Learning, Software Testing, Metamorphic Testing, Oracle Problem
1	Paulo Oliveira 0002, Fátima Rodrigues 0001, Pedro Rangel Henriques	SmartClean: An Incremental Data Cleaning Tool.	QSIC	2009	DBLP DOI BibTeX RDF	Data Quality Problems, Architecture, Tool, Detection, Correction, Data Cleaning
1	Huai Liu, Tsong Yueh Chen	An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing.	QSIC	2009	DBLP DOI BibTeX RDF	Quasi-Random Testing, Non-Uniform Distribution, Software Testing, Random Testing, Adaptive Random Testing
1	Byoungju Choi (eds.)	Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009	QSIC	2009	DBLP BibTeX RDF
1	Gia Nghia Vo, Richard Lai 0001, Mohit Garg 0001	Building Automotive Software Component within the AutoSAR Environment - A Case Study.	QSIC	2009	DBLP DOI BibTeX RDF
1	Zhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao	Reuse Strategies in Distributed Complex Event Detection.	QSIC	2009	DBLP DOI BibTeX RDF	Complex Event Detection, Reuse, Pub/Sub, CEP
1	Tommi Takala, Mika Maunumaa, Mika Katara	An Adapter Framework for Keyword-Driven Testing.	QSIC	2009	DBLP DOI BibTeX RDF	Tool adaptation, test tool, plug-in
1	Kohei Uno, Shinpei Hayashi, Motoshi Saeki	Constructing Feature Models Using Goal-Oriented Analysis.	QSIC	2009	DBLP DOI BibTeX RDF	Feature Diagram, Goal-oriented Requirements Analysis
1	Ke-Xian Xue, Liang Su, Yun-Fei Jia, Kai-Yuan Cai	A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload.	QSIC	2009	DBLP DOI BibTeX RDF	computing-resource exhaustion, workload parameters, neural network, software aging
1	Huo Yan Chen, T. H. Tse	Automatic Generation of Normal Forms for Testing Object-Oriented Software.	QSIC	2009	DBLP DOI BibTeX RDF	equivalent fundamental pair, software testing, object-oriented program, algebraic specification, normal form
1	Beatriz Mora, Félix García 0001, Francisco Ruiz 0001, Mario Piattini	Model-Driven Software Measurement Framework: A Case Study.	QSIC	2009	DBLP DOI BibTeX RDF	Model-driven Engineering, Software Measurement
1	Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj	A Survey of Model-Driven Testing Techniques.	QSIC	2009	DBLP DOI BibTeX RDF	Software testing, test case generation, software quality assurance, model-driven software engineering
1	Doohwan Kim, Jong-Phil Kim, Jang-Eui Hong	Practice Patterns to Improve the Quality of Design Model in Embedded Software Development.	QSIC	2009	DBLP DOI BibTeX RDF	Software quality and Practice pattern, Embedded software
1	Yan Liu, Kate Foster, Thong Nguyen, Jacky W. Keung	Quality Assessment of Mission Critical Middleware System Using MEMS.	QSIC	2009	DBLP DOI BibTeX RDF	testing, quality, architecture evaluation
1	Vidroha Debroy, W. Eric Wong	Are Fault Failure Rates Good Estimators of Adequate Test Set Size?.	QSIC	2009	DBLP DOI BibTeX RDF	fault failure rate, software testing, fault detection, test set size
1	Fernando Carvalho 0002, Silvio R. L. Meira, Elyda Xavier, Joao Eulino	An Embedded Software Component Maturity Model.	QSIC	2009	DBLP DOI BibTeX RDF	Quality Verification, Embedded System, Quality Model, Maturity Model, Embedded Design
1	Lin-Zhu Jin, Tadashi Dohi	Non-homogeneous Inverse Gaussian Software Reliability Models.	QSIC	2009	DBLP DOI BibTeX RDF	fault-data analysis, non-homogeneous inverse Gaussian process, goodness-of-fit performance, prediction, software reliability, point processes

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