Search results for "QSIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hong Zhu 0002	A Note on Test Oracles and Semantics of Algebraic Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
1	Magne Jørgensen, Kjetil Moløkken	A Preliminary Checklist for Software Cost Management.	QSIC	2003	DBLP DOI BibTeX RDF	quality management and assurance, risk management, Cost estimation
1	David N. Card, Cheryl L. Jones	Status Report: Practical Software Measurement.	QSIC	2003	DBLP DOI BibTeX RDF
1	Yunshan Ge	Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system.	QSIC	2003	DBLP DOI BibTeX RDF	MSC simulator software, Performance Test GSM, Design Pattern, GPRS
1	Bhavani Thuraisingham	Data Mining and Cyber Security.	QSIC	2003	DBLP DOI BibTeX RDF
1	Yongyi Xie, Weishi Zhang	Component-Based Workflow Architecture of a Distributed Software Process Management System.	QSIC	2003	DBLP DOI BibTeX RDF	Software Process Improvement Software Quality Assurance, Workflow, Software Component, Cooperative Work, Software Process Management
1	Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa	Random Program Generator for Java JIT Compiler Test System.	QSIC	2003	DBLP DOI BibTeX RDF
1	Viswanathan Narayana, Rajashekara Swamy	Experiences in the Inspection Process Characterization Techniques.	QSIC	2003	DBLP DOI BibTeX RDF
1	Winfried Dulz, Fenhua Zhen	MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3.	QSIC	2003	DBLP DOI BibTeX RDF
1	Mass Soldal Lund	Testing Decomposition of Component Specifications Based on a Rule for Formal Verification.	QSIC	2003	DBLP DOI BibTeX RDF
1	Girish Seshagiri, S. Priya	Walking the Talk Building Quality into the Software Quality Management Tool.	QSIC	2003	DBLP DOI BibTeX RDF
1	Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski	Verifying CIM Models of Apache Web-Server Configurations.	QSIC	2003	DBLP DOI BibTeX RDF
1	Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai	Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.	QSIC	2003	DBLP DOI BibTeX RDF
1	Miguel A. Serrano, Carlos Montes de Oca, Karina Cedillo	An Experience on using the Team Software Process for Implementing the Capability Maturity Model for Software in a Small Organization.	QSIC	2003	DBLP DOI BibTeX RDF
1	Sami Beydeda, Volker Gruhn	State of the art in testing components.	QSIC	2003	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen	Empirical Case Studies of Combining Software Quality Classification Models.	QSIC	2003	DBLP DOI BibTeX RDF	Decision Stumps, combined decision, software quality, Boosting, Bagging, C4.5
1	Reinhold Achatz, Frances Paulisch	Industrial Strength Software and Quality: Software and Engineering at Siemens.	QSIC	2003	DBLP DOI BibTeX RDF
1	Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen	Using the Incremental Approach to Generate Test Sets: A Case Study.	QSIC	2003	DBLP DOI BibTeX RDF	Empirical study, test case generation, specification-based testing, partition testing, fault-based testing
1		3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA	QSIC	2003	DBLP BibTeX RDF
1	Rosziati Ibrahim, Marlene Lu	Formal Methods applied to Plywood Production.	QSIC	2003	DBLP DOI BibTeX RDF
1	Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng	Incremental Testing for Self-Evolving Timed Systems.	QSIC	2003	DBLP DOI BibTeX RDF
1	Shaohua Liu, Jun Wei, Wei Xu	Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware.	QSIC	2003	DBLP DOI BibTeX RDF
1	Mahmood Niazi, David Wilson 0001, Didar Zowghi	A model for the implementation of software process improvement: A pilot study.	QSIC	2003	DBLP DOI BibTeX RDF	Software Process Improvement, CMMI, Critical success factors
1	Michael Barnett 0001, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Validating Use-Cases with the AsmL Test Tool.	QSIC	2003	DBLP DOI BibTeX RDF
1	Sirin Bekbay, Shaoying Liu	A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL.	QSIC	2003	DBLP DOI BibTeX RDF	software process, quality assurance, CMM, software development methodology
1	Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma	Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
1	Matthias Book, Volker Gruhn	A Dialog Control Framework for Hypertext-Based Applications.	QSIC	2003	DBLP DOI BibTeX RDF
1	Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan	Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support.	QSIC	2003	DBLP DOI BibTeX RDF	software testing, specification-based testing, Black box testing, partition testing, test case selection, classification-tree method
1	Joseph A. Goguen, Kai Lin	Behavioral Verification of Distributed Concurrent Systems with BOBJ.	QSIC	2003	DBLP DOI BibTeX RDF
1	Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho	Generating Scenarios from Use Case Map Specifications.	QSIC	2003	DBLP DOI BibTeX RDF	XML, Validation, Transformations, Scenarios, Message Sequence Charts, Use Case Maps
1	Tsong Yueh Chen, Fei-Ching Diana Kuo, Robert G. Merkel, Sebastian P. Ng	Mirror Adaptive Random Testing.	QSIC	2003	DBLP DOI BibTeX RDF	Software testing, Random testing, Black box testing, Adaptive Random Testing, Test case selection
1	Ruilian Zhao, Michael R. Lyu	Character String Predicate Based Automatic Software Test Data Generation.	QSIC	2003	DBLP DOI BibTeX RDF
1	Christine T. Cheng, Adrian Dumitrescu, Patrick J. Schroeder	Generating Small Combinatorial Test Suites to Cover Input-Output Relationships.	QSIC	2003	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul	Scenario-based Object-Oriented Testing Framework.	QSIC	2003	DBLP DOI BibTeX RDF	Scenario-based testing, object-oriented test frameworks, design for change and automated test execution, design patterns, regression testing
1	Jessica Chen, Kun Wang	Constructing a Reproducible Testing Environment for Distributed Java Applications.	QSIC	2003	DBLP DOI BibTeX RDF
1	Peter Dybjer, Qiao Haiyan, Makoto Takeyama	Verifying Haskell Programs by Combining Testing and Proving.	QSIC	2003	DBLP DOI BibTeX RDF	BDDs and Haskell, program verification, random testing, type theory, proof-assistants
1	Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach	Testability Analysis Applied to Embedded Data-flow Software.	QSIC	2003	DBLP DOI BibTeX RDF	Data-flow Software, Software Measurement, Testability Analysis
1	Pat Allen, Muthu Ramachandran, Hisham Abushama	PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises.	QSIC	2003	DBLP DOI BibTeX RDF
1	Xishi Huang, Luiz Fernando Capretz, Jing Ren 0003, Danny Ho	A Neuro-Fuzzy Model for Software Cost Estimation.	QSIC	2003	DBLP DOI BibTeX RDF
1	Yan Jiong, Ji Wang 0001, Huowang Chen	Deriving Software Statistical Testing Model from UML Model.	QSIC	2003	DBLP DOI BibTeX RDF
1	Jennifer Pérez, Isidro Ramos, Javier Jaén Martínez, Patricio Letelier 0001, Elena Navarro 0001	PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures.	QSIC	2003	DBLP DOI BibTeX RDF	Component Definition Language, Software Architecture, Components, Reuse, Evolution, Quality, Aspects, Configuration Language
1	Bernard Wong 0002	A Study of the Metrics applied to the Software Evaluation Framework 'SEF'.	QSIC	2003	DBLP DOI BibTeX RDF	Metrics, human factors, Software Quality, empirical software engineering, Software evaluation
1	Kazutaka Maruyama, Minoru Terada	Debugging with Reverse Watchpoint.	QSIC	2003	DBLP DOI BibTeX RDF
1	Jacinto Mata Vázquez, José Luis Álvarez Macías, José Cristóbal Riquelme Santos, Isabel Ramos 0002, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano	Visualization Techniques of Management Rules for Software Development Projects.	QSIC	2003	DBLP DOI BibTeX RDF

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