Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yunwei Dong, Geng Wang, Hong-bing Zhao |
A Model-Based Testing for AADL Model of Embedded Software. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Architecture Analyze and Design Language (AADL), Markov Chain, Model-based Testing, Error Model |
1 | Shan-Shan Hou, Lu Zhang 0023, Qian Lan, Hong Mei 0001, Jiasu Sun |
Generating Effective Test Sequences for BPEL Testing. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
BPEL Testing, Message Sequence Graph, Test-Sequence generation |
1 | Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund |
Localizing Software Faults Simultaneously. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
1 | Mark van den Berg, Antony Tang, Rik Farenhorst |
A Constraint-Oriented Approach to Software Architecture Design. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Design, Software Architecture, Constraints |
1 | Fei-Ching Kuo |
An Indepth Study of Mirror Adaptive Random Testing. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
failure detection effectiveness, Software testing, random testing, adaptive random testing, mirroring |
1 | Joon-Sang Lee, Oksoon Jeong, Jewhi Ryu |
Performance Evaluation Framework for Software Quality Engineering. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
software quality engineering, performance evaluation, ROI |
1 | Bingu Shim, Beomho Baek, Suntae Kim, Sooyong Park |
A Robot Fault-Tolerance Approach Based on Fault Type. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Robot, Dependability |
1 | Zuohua Ding, Mingyue Jiang |
Modelling and Verification of Port Based Component Composition. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Verification, Component composition |
1 | Samaneh Navabpour, Lihua Duan, Jessica Chen |
Web Traversal with a History Stack. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Rural Postman Problem, web applications, test sequence |
1 | Tao Sun, Zheng Wang 0005, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu 0006 |
Towards Scalable Compositional Test Generation. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Compositional Testing, Partial Execution, Program Slicing, Automatic Test Generation |
1 | Dang Viet Dzung, Atsushi Ohnishi |
Improvement of Quality of Software Requirements with Requirements Ontology. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Quality of Requirements Specification, Requirements Ontology, Requirements elicitation |
1 | Lijun Mei, W. K. Chan 0001, T. H. Tse, Robert G. Merkel |
Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
black-box regression testing, service testing, encapsulation testing, WS-BPEL, test case prioritization |
1 | Peng Liang 0001, Anton Jansen, Paris Avgeriou |
Selecting a High-Quality Central Model for Sharing Architectural Knowledge. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
architectural knowledge sharing, ontology matching, semantic distance |
1 | Paul J. Vandal, Swapna S. Gokhale |
Performance Analysis of a Composition of Middleware Patterns (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Performance, Middleware, Active Object |
1 | Lance Fiondella, Swapna S. Gokhale |
Importance Measures for a Modular Software System (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
importance assessment, software architecture, uncertainty, software reliability |
1 | Xiaofang Zhang, Baowen Xu, Zhenyu Chen 0001, Changhai Nie, Leifang Li |
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
boolean testing, optimization, software testing, test suite reduction, testing requirement |
1 | Nauman A. Qureshi, Anna Perini |
An Agent-Based Middleware for Adaptive Systems. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Agent-oriented middleware, Agent-oriented software engineering, Self-adaptive software |
1 | Kevin Lano, David Clark 0001 |
Model Transformation Specification and Verification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Specification, Model transformations |
1 | Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj |
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Timed Input Output Automata, Real-Time Systems, Testing, Formal Methods, Test Coverage |
1 | Siripol Noikajana, Taratip Suwannasart |
Web Service Test Case Generation Based on Decision Table (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
WSDL-S, Software testing, Decision table, SWRL |
1 | Thareendhra Wijayasiriwardhane, Richard Lai 0001 |
A Method for Measuring the Size of a Component-Based System Specification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Component Point, Function Point extension, Software Measurement, Component-Based Systems, Component-Based Software Development, Software Effort Estimation, Software Size Estimation |
1 | Shaoying Liu |
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
modeling, formal specification, Scenario-based design, Top-Down design |
1 | Atef Mohamed, Mohammad Zulkernine |
On Failure Propagation in Component-Based Software Systems. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
failure propagation, Software architecture, system reliability, component based software system |
1 | Na Meng 0001, Qianxiang Wang, Qian Wu, Hong Mei 0001 |
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
general specification, prioritizing policyquality, quality, result merge, static analysis tool |
1 | Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler |
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
testing, refactoring, dominator, control flow graph, code coverage, test adequacy criteria |
1 | Zhongxing Xu, Jian Zhang 0001 |
Path and Context Sensitive Inter-procedural Memory Leak Detection. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
path feasibility, memory leak, bug finding |
1 | Lianshan Sun, Gang Huang 0001, Yanchun Sun, Hui Song, Hong Mei 0001 |
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Access Control Configurations, Security, Role-Based Access Control, Model Transformation, J2EE |
1 | Peifeng Hu, Zhenyu Zhang 0004, Wing Kwong Chan, T. H. Tse |
Fault Localization with Non-parametric Program Behavior Model. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
non-parameter statistics, Fault localization |
1 | Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura |
Architecture Compliance Checking at Runtime: An Industry Experience Report. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
architecture compliance checking, hierarchical colored Petri nets, run-time monitoring |
1 | T. Y. Chen |
Adaptive Random Testing. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wei Huang 0019, Ru Li, Carsten Maple, Hongji Yang, David Foskett, Vince Cleaver |
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Marín, Nelly Condori-Fernández, Oscar Pastor 0001 |
Towards a Method for Evaluating the Precision of Software Measures (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons |
Testing in the Distributed Test Architecture: An Extended Abstract. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ian Bayley, Hong Zhu 0002 |
On the Composition of Design Patterns. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
composition of design patterns, formal specification, Design patterns |
1 | Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai |
On the Relationship between Software Aging and Related Parameters (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
MIMO model, metric, software rejuvenation, Software aging |
1 | Andrew Cain, Tsong Yueh Chen, Doug D. Grant, Fei-Ching Kuo, Jean-Guy Schneider |
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis |
1 | Harry M. Sneed |
Bridging the Concept to Implementation Gap in Software System Testing. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
System test process, test cases, test design, test specification, test scripts |
1 | Shiyang Ye, Jun Wei 0001 |
History Heuristic Based Negotiation of Service Level Agreements for Composite Service. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Web Service, Service Level Agreements |
1 | Swapna S. Gokhale, Veena B. Mendiratta |
Architecture-Based Assessment of Software Reliability. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Software architecture, Software reliability |
1 | Hong Zhu 0002 (eds.) |
Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK |
QSIC |
2008 |
DBLP BibTeX RDF |
|
1 | Lasse Harjumaa, Ilkka Tervonen, Sirpa Salmela |
Steering the inspection process with prescriptive metrics and process patterns. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi |
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Analysis, Data Dependency, Test-Data Generation, Control Flow Analysis, Security Testing, Security Automata |
1 | Lionel C. Briand, Yvan Labiche, Zaheer Bawar |
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
category partition, machine learning, black-box testing |
1 | Shaoying Liu |
Utilizing Formalization to Test Programs without Available Source Code (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Testing, Specification-based testing, Software Quality Assurance |
1 | Josh Dehlinger, Joanne Bechta Dugan |
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
dependability engineering, multi-agent systems, agent-oriented software engineering, dynamic fault trees |
1 | Yoshihiro Iwami |
How to Measure Quality of Software Developed by Subcontractors (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Subcontoractor Management, Measurement, Software Quality |
1 | Ziyuan Wang, Baowen Xu, Changhai Nie |
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
variable strength, software testing, test generation, combinatorial testing |
1 | Hyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong |
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
SW Testing, TMM, DOE |
1 | Lionel C. Briand |
Novel Applications of Machine Learning in Software Testing. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Machine learning, software testing |
1 | Liang Xu |
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, SMT, BMC |
1 | Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa |
Coverage Based Testing with Test Purposes. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes |
1 | Antti Jääskeläinen, Antti Kervinen, Mika Katara |
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong |
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Failure-Based Testing, Test Coverage Criteria, Random Testing, Adaptive Random Testing |
1 | Peter Y. H. Wong, Jeremy Gibbons |
Verifying Business Process Compatibility (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
compatibility verification, model checking, refinement, CSP, business process modelling |
1 | Xutao Du, Chunxiao Xing, Lizhu Zhou |
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
web service interface, verification, web service composition, reachability analysis |
1 | Hossain Shahriar, Mohammad Zulkernine |
MUSIC: Mutation-based SQL Injection Vulnerability Checking. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Cardoso Garcia, Liana Barachisio Lisboa, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Daniel Lucrédio, Renata Pontin de Mattos Fortes |
Towards an Assessment Method for Software Reuse Capability (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
assessment method, reuse capability, reuse adoption, technology change management, software reuse |
1 | Qian Zhang |
Visual Software Architecture Description Based on Design Space. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Visual notation, Software architecture, Architecture description language, Design space |
1 | Hong Zhou, Feng Chen 0004, Hongji Yang |
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Program Comprehension, Concepts, Relations, Domain knowledge, Class Diagram |
1 | Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He |
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Software architecture specification, Petri net, rewriting logic, interleaving semantics |
1 | Yunwei Dong, M. F. Lau, Si-yu Lin |
On Partitioning the Domain for Test Case Reusability (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans |
An Executable Interface Specification for Industrial Embedded System Design. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann |
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Log Abstraction, Monitoring, Dynamic Analysis, Clone |
1 | Manar Al-Kady, Reem Bahgat, Aly A. Fahmy |
A UML Heavyweight Extension for MAS Modeling. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Metamodeling, Agent Oriented Software Engineering, UML extension |
1 | Mohamed F. Ahmed, Swapna S. Gokhale |
Linux Bugs: Life Cycle and Resolution Analysis. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Linux Bugs, Reliability, Architecture |
1 | Gordon Fraser 0001, Paul Ammann |
Reachability and Propagation for LTL Requirements Testing. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
requirements testing, software testing, automated testing, test case generation, property testing |
1 | Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang |
Model-Based Quality Assurance of the SMB2 Protocol Documentation. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Protocols, Model-Based Testing, Specification Testing |
1 | Sun Meng, Luís Soares Barbosa |
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Algebra, Sequence diagram, Coalgebra |
1 | Lin Song, Yuxin Deng, Xiaojuan Cai |
Towards Automatic Measurement of Probabilistic Processes. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Franz Wotawa |
Improving Model-Checkers for Software Testing. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung |
White Box Pairwise Test Case Generation. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
On the Collaborative Development of Para-Consistent Conceptual Models. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofang Zhang, Changhai Nie, Baowen Xu, Bo Qu |
Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Test Case Prioritization, Software Testing, Regression Testing, Cost, Priority |
1 | Mikhail Perepletchikov, Caspar Ryan, Keith Frampton |
Cohesion Metrics for Predicting Maintainability of Service-Oriented Software. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang 0049, Wenbo Zhang 0006, Jun Wei 0001, Tao Huang 0001 |
A QoS-Enabled WorkManager Model for Web Application Servers. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Web Application Servers, QoS, performance tuning |
1 | Man Fai Lau, Ying Liu, Yuen-Tak Yu |
Detecting Double Faults on Term and Literal in Boolean Expressions. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zeng Fancong |
A Reinforcement-Learning Approach to Failure-Detection Scheduling. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Congwu Chen, Lei Li, Jun Wei 0001 |
AOP Based Trustable SLA Compliance Monitoring for Web Services. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Phillip C.-Y. Sheu |
Semantic Computing and Quality Software. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Guderlei, Johannes Mayer |
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Suraj C. Kothari |
Software Quality: Past, Present, and Future. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Raymond A. Paul |
Proposition for E-DoD: An Overall Plan for Network-Centric Operation. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jani Metsä, Mika Katara, Tommi Mikkonen |
Testing Non-Functional Requirements with Aspects: An Industrial Case Study. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
non-functional, testing, aspects |
1 | Yan Sun 0008, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape |
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | |
Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA |
QSIC |
2007 |
DBLP BibTeX RDF |
|
1 | Kristian Marius Furulund, Kjetil Moløkken-Østvold |
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
experience data, checklists Topics: Project management, Software estimation, software estimation, estimation models |
1 | Donglin Liang, Kai Xu 0002 |
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hiroya Itoga, Atsushi Ohnishi |
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
security require- ments, aspect-oriented software de- velopment, requirements elicitation, scenario analysis |
1 | Zhenyu Zhang 0004, W. K. Chan 0001, T. H. Tse |
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
adaptive software design, code optimization technique, Wireless sensor network, resource constraint |
1 | Anne Immonen, Marko Palviainen |
Trustworthiness Evaluation and Testing of Open Source Components. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Young Lee, Jeong Yang, Kai H. Chang |
Metrics and Evolution in Open Source Software. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Jiang, Zhihui Yang |
A Model-Driven Approach for Dependable Software Systems. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
web services and software component, reliability, Dependability, availability, Meta-model |
1 | Angélica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini |
Refinement of a Tool to Assess the Data Quality in Web Portals. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal |
A Scriptable, Statistical Oracle for a Metadata Extraction System. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Petit, Arnaud Gotlieb |
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim |
Quality Assurance in Web Information Systems Development. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu |
Distribution Metric Driven Adaptive Random Testing. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xianli Jin, Huadong Ma, Zonghua Gu 0001 |
Real-Time Component Composition Using Hierarchical Timed Automata. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
hierarchical timed automata, real-time, component, labeled transition systems |
1 | Farid Mokhati, Patrice Gagnon, Mourad Badri |
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ishrar Hussain, Olga Ormandjieva, Leila Kosseim |
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|