Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jianwen Xiang, Kazuhiro Ogata 0001 |
Formal Fault Tree Analysis of State Transition Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Additional Reviewers. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Perepletchikov, Lin Padgham |
Systematic Incremental Development of Agent Systems, using Prometheus. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Copyright. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | W. K. Chan 0001, S. C. Cheung 0001, T. H. Tse |
Fault-Based Testing of Database Application Programs with Conceptual Data Model. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
database application testing, semantic mutants, fault-based testing |
1 | Bernhard K. Aichernig, Percy Antonio Pari Salas |
Test Case Generation by OCL Mutation and Constraint Solving. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jiangang Ma, Yanchun Zhang, Minglu Li 0001 |
OMWSC- An Ontology-Based Model for Web Services Composition. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes |
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao |
Quality Assurance in the Design of Web Information Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Quality Design, Refinement, Abstract State Machines, Web Information Systems |
1 | Yuen-Tak Yu, Pak-Lok Poon |
Designing Activities for Learning Software Quality Practices. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ji Wang, Rui Shen 0003, Hong Zhu 0002 |
Caste-Centric Agent-Oriented Programming. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jingtao Yang, Corina Cîrstea, Peter Henderson 0001 |
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Domain Consistency in Requirements Specification. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
1 | Jason Khallouf, Michael Winikoff |
Towards Goal-Oriented Design of Agent Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Huaizhong Li, Chiou Peng Lam |
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Haruhiko Kaiya, Motoshi Saeki |
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Lightweight semantic processing, Requirements Engineering, Thesaurus |
1 | Xia Liu, Qing Wang 0001 |
Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Yan 0005, Yun Yang 0001, Ryszard Kowalczyk, Xuan Thang Nguyen |
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen |
Peer Reviews in Real Life - Motivators and Demotivators. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bruce Quig, Michael Kölling, John Rosenberg, Phillip Steele |
Interactive Visualisation and Testing of Jini Services. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse |
Identification of Categories and Choices in Activity Diagrams. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
choice relation framework, test frame, specification-based testing, Activity diagrams, classification-tree method, category-partition method |
1 | Peter Massuthe, Karsten Schmidt 0004 |
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, service composition, matching, automata, operating guidelines |
1 | Haohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang 0023 |
Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Meta-class, UML, Software Quality, Software evaluation |
1 | Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang |
On the Test Case Definition for GUI Testing. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen |
Stochastic Voting Algorithms for Web Services Group Testing. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
clustering, Simulated Annealing, voting, Web services testing |
1 | |
Conference Committees. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Book, Volker Gruhn, Malte Hülder, André Köhler 0001, Andreas Kriegel |
Cost and Response Time Simulation forWeb-based Applications on Mobile Channels. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
cost estimationTopics: Software quality: measurement, Information management: economics of software quality, Emerging technology: mobile computing, mobile communications, Web engineering |
1 | Henrik Hedberg, Jouni Lappalainen |
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lin Padgham, John Thangarajah, Michael Winikoff |
Tool Support for Agent Development using the Prometheus Methodology. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Müller 0001, Peter Braun 0002, Ryszard Kowalczyk |
Design Patterns for Agent-Based Service Composition in theWeb. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ken Ngo-Pham, John Bigham, Julian Rodaway, Laurissa N. Tokarchuk |
A System to Mark Programs Automatically. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen S. Yau, Gaurav Goyal, Yisheng Yao |
Replication for Adaptive Responsiveness in Service-Oriented Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
situationawareness, service-oriented architecture, adaptability, Responsiveness, service-oriented systems |
1 | Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou |
Teaching Automated Test Case Generation. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Software engineering education, white-box testing, automated test case generation |
1 | Alexei Tretiakov, Sven Hartmann |
Higher-Order Entity Relationship Modelling with UML. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Christian Goldberg |
Proving the Safety of SQL Queries. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Runtime Errors, SQL, Consistency |
1 | W. K. Chan 0001, Tsong Yueh Chen, Heng Lu 0001 |
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
integration testing, Context-aware application, metamorphic testing |
1 | Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri |
Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Domain Modeling, Requirements elicitation |
1 | |
Message from the Steering Committee Chair. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winikoff |
Towards Making Agent UML Practical: A Textual Notation and a Tool. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Zhao, Adam Belloum, Adianto Wibisono, Frank Terpstra, Piter T. de Boer, Peter M. A. Sloot, Bob Hertzberger |
Scientific workflow management: between generality and applicability. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Software Engineering, Grid, Scientific Workflow, Problem Solving Environments |
1 | Cat Kutay, Muhammad Ali Babar 0001 |
Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Title Page. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dong Guo 0002, Liang Hu 0001, Meng Zhang 0006, Zhuopeng Zhang |
GcpSensor: a CPU Performance Tool for Grid Environments. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Message from the Program Committee Co-Chairs. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Damien Wilmann, Leon Sterling |
Guiding agent-oriented requirements elicitation: HOMER. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paul R. Taylor, Peter Evans-Greenwood, James Odell |
The Genesis of a Pattern Language for Agent-based Enterprise Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lars Grunske, Bernhard Kaiser |
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis |
1 | Allan Fisher, Jill Fain Lehman |
Dynamic Delivery of Software Development Curriculum. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hai Hu, W. Eric Wong, Chang-Hai Jiang, Kai-Yuan Cai |
A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
controlled Markov chain, software testing, adaptive testing, software cybernetics |
1 | Antonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà |
A Data Mining-based Framework for GridWorkflow Management. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | W. K. Chan 0001, S. C. Cheung 0001, Karl R. P. H. Leung |
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
metamorphic testing infrastructure, service-oriented architecture, unit testing, integration testing |
1 | Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan |
Test Order for Class-based Integration Testing of Java Applications. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Thang Nguyen, Ryszard Kowalczyk |
Enabling Agent-Based Management of Web Services with WS2JADE. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Workshop Committees. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gyu-Baek Kim |
A Method of Generating Massive Virtual Clients and Model-based Performance Test. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peng Wu 0002, Huimin Lin |
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Zhou 0001, Hong Mei 0001, Lu Zhang 0023 |
A Multi-Property Trust Model for Reconfiguring Component Software. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
QoS, component, dynamic reconfiguration, trust management |
1 | Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang |
Verification of C Programs using Slicing Execution. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany |
QSIC |
2004 |
DBLP BibTeX RDF |
|
1 | Yanlong Zhang, Hong Zhu 0002, Sue Greenwood |
Website Complexity Metrics for Measuring Navigability. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor 0001 |
Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Requirements Model, Functional Size Measurement, COSMIC-FFP |
1 | David Harel, Hillel Kugler, Amir Pnueli |
Smart Play-Out Extended: Time and Forbidden Elements. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matinee Kiewkanya, Nongyao Jindasawat, Pornsiri Muenchaisri |
A Methodology for Constructing Maintainability Model of Object-Oriented Design. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Juan Pablo Carvallo 0001, Xavier Franch, Gemma Grau, Carme Quer |
COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shuyu Li, Jian Wu, Zhengguo Hu |
A Contract-Based Component Model for Embedded Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yan Jiong, Ji Wang 0001, Huowang Chen |
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Anders Hessel, Paul Pettersson |
A Test Case Generation Algorithm for Real-Time Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass, Christian Goldberg |
Semantic Errors in SQL Queries: A Quite Complete List. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Attiogbé |
A Mechanically Proved Development Combining B Abstract Systems and Spin. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel Jaring, Jan Bosch |
Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr |
A First Step Towards Formal Verification of Security Policy Properties for RBAC. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leticia Dávila-Nicanor, Pedro Mejía-Alvarez |
Reliability Improvement of Web-Based Software Applications. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arne Sølvberg |
Conceptual Modeling: A Key to Quality Information Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Grechenig, Wolfgang Zuser |
Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Small and medium software enterprises (SMSE), Software maturity (SM), Software quality assurance (SQA), development cultures, activities, attitudes, principles |
1 | Jane Zhao, Hui Ma 0001 |
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Quality Design, Data Warehouse, Abstract State Machine, On-Line Analytical Processing |
1 | Kai-Yuan Cai, Xiang-Yun Wang |
Towards a Control-Theoretical Approach to Software Fault-Tolerance. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Lounis, Lynda Ait-Mehedine |
Machine-Learning Techniques for Software Product Quality Assessment. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yuen-Tak Yu, Man Fai Lau |
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Condition coverage, decision coverage, logical decisions, MUMCUT, coverage criteria, MC/DC |
1 | Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio |
Intelligent Tool Based-Agent for Software Architecture Evaluation . |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jian Zhang 0001 |
Symbolic Execution of Program Paths Involving Pointer and Structure Variables. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Cuevas Agustín, Alan Serrano, Ariel Serrano |
Assessment of the Requirements Management Process using a Two-Stage Questionnaire. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel |
On the Statistical Properties of the F-measure. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
testing effectiveness metric, software testing, random testing, quality measurement, adaptive random testing, F-measure |
1 | Alexander Kuckelberg |
Component Based System Architecture for Railway Capacity Management Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
distributed and web-based information systems, Component-based systems |
1 | Ricardo de Almeida Falbo, Ligia S. Mota Borges, Fabio Feu Rosa Valente |
Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 Organization. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio |
Improving Software Inspection Process with Patterns. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Software process improvement, Software inspection, Process patterns |
1 | Robert B. K. Brown, Aditya Ghose |
Hierarchic Decomposition in Agent Oriented Conceptual Modelling. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko |
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | M. Y. Cheng, S. C. Cheung 0001, T. H. Tse |
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
neural networks, classification, multimedia, Software testing, Bayesian networks, k-nearest neighbor |
1 | Eric Ying Kwong Chan, Yuen-Tak Yu |
Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
partial dynamic analysis, path coverage, white-on-black approach, Black-box testing, test case selection, path analysis |
1 | Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong |
Adaptive Random Testing Through Dynamic Partitioning. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
proportional sampling strategy, random testing, adaptive random testing, partition testing |
1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Equational Approach to Formal Verification of SET. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
security, verification, algebraic specification, rewriting, interactive theorem proving, payment |
1 | Kai-Yuan Cai, Yong-Chao Li, Ke Liu |
How to Test Software for Optimal Software Reliability Assessment. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shereef Abu Al-Maati, Kamel Rekab |
Dynamic Test Allocation Model for Software Reliability. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hyung-Min Park, Ho-Won Jung |
Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
Interrater agreement, SPICE, ISO/IEC 15504 |
1 | WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng |
Asynchronous Communication For Complicated E-Commerce Applications. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Kui Chang, Shing-Kai Hon, William C. Chu |
A Systematic Framework for Evaluating Hyperlink Validity in Web Environments. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Caballero 0001, Mario Piattini |
CALDEA: A Data Quality Model Based on Maturity Levels. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang |
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang |
Software Cost Estimation through Conceptual Requirement. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki |
Combining Behavior and Data Modeling in Automated Test Case Generation. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|