|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 556 occurrences of 369 keywords
|
|
|
Results
Found 644 publication records. Showing 644 according to the selection in the facets
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 |
Displaying result #201 - #300 of 644 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|