Abstract is missing.
- Data Mining and Cyber SecurityBhavani M. Thuraisingham. 2 [doi]
- Mirror Adaptive Random TestingTsong Yueh Chen, F. C. (Diana) Kuo, Robert G. Merkel, Sebastian P. Ng. 4-11 [doi]
- Incremental Testing for Self-Evolving Timed SystemsVangalur S. Alagar, Olga Ormandjieva, Mao Zheng. 12-19 [doi]
- Random Program Generator for Java JIT Compiler Test SystemTakahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa. 20 [doi]
- Dynamic Test Allocation Model for Software ReliabilityShereef Abu Al-Maati, Kamel Rekab. 26-31 [doi]
- How to Test Software for Optimal Software Reliability AssessmentKai-Yuan Cai, Yong-Chao Li, Ke Liu. 32-39 [doi]
- Empirical Case Studies of Combining Software Quality Classification ModelsTaghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen. 40 [doi]
- A Study of the Metrics applied to the Software Evaluation Framework SEF Bernard Wong. 52-58 [doi]
- PRISMA: Towards Quality, Aspect Oriented and Dynamic Software ArchitecturesJennifer Pérez, Isidro Ramos, Javier Jaén Martínez, Patricio Letelier, Elena Navarro. 59-66 [doi]
- Walking the Talk Building Quality into the Software Quality Management ToolGirish Seshagiri, S. Priya. 67 [doi]
- Generating Small Combinatorial Test Suites to Cover Input-Output RelationshipsChristine Cheng, Adrian Dumitrescu, Patrick J. Schroeder. 76-82 [doi]
- Generating, Selecting and Prioritizing Test Cases from Specifications with Tool SupportYsong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan 0002. 83-90 [doi]
- A Note on Test Oracles and Semantics of Algebraic SpecificationsHong Zhu. 91 [doi]
- A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFLSirin Bekbay, Shaoying Liu. 100-107 [doi]
- Generating Scenarios from Use Case Map SpecificationsDaniel Amyot, Xiangyang He, Yong He, Dae Yong Cho. 108-115 [doi]
- Debugging with Reverse WatchpointKazutaka Maruyama, Minoru Terada. 116 [doi]
- A Neuro-Fuzzy Model for Software Cost EstimationXishi Huang, Luiz Fernando Capretz, Jing Ren, Danny Ho. 126-133 [doi]
- A Preliminary Checklist for Software Cost ManagementMagne Jørgensen, Kjetil Moløkken. 134-140 [doi]
- Software Cost Estimation through Conceptual RequirementYuan Zhao, Hee Beng Kuan Tan, Wei Zhang. 141 [doi]
- State of the art in testing componentsSami Beydeda, Volker Gruhn. 146-153 [doi]
- Testing Decomposition of Component Specifications Based on a Rule for Formal VerificationMass Soldal Lund. 154-160 [doi]
- Asynchronous Communication For Complicated E-Commerce ApplicationsWeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng. 161 [doi]
- A Dialog Control Framework for Hypertext-Based ApplicationsMatthias Book, Volker Gruhn. 170-177 [doi]
- A Systematic Framework for Evaluating Hyperlink Validity in Web EnvironmentsWen-Kui Chang, Shing-Kai Hon, William C. Chu. 178-185 [doi]
- Using Supervisory Control to Synthesize Safety Controllers for Connected SpacesBaskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai. 186 [doi]
- A model for the implementation of software process improvement: A pilot studyMahmood Niazi, David Wilson, Didar Zowghi. 196-203 [doi]
- Component-Based Workflow Architecture of a Distributed Software Process Management SystemXie Yongyi, Zhang Weishi. 204-210 [doi]
- PRISMS: an Approach to Software Process Improvement for Small to Medium EnterprisesPat Allen, Muthu Ramachandran, Hisham Abushama. 211 [doi]
- Behavioral Verification of Distributed Concurrent Systems with BOBJJoseph A. Goguen, Kai Lin. 216 [doi]
- Validating Use-Cases with the AsmL Test ToolMichael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. 238-246 [doi]
- Combining Behavior and Data Modeling in Automated Test Case GenerationPatrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki. 247-254 [doi]
- Character String Predicate Based Automatic Software Test Data GenerationRuilian Zhao, Michael R. Lyu. 255-262 [doi]
- Using the Incremental Approach to Generate Test Sets: A Case StudyYuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen. 263 [doi]
- Verifying Haskell Programs by Combining Testing and ProvingPeter Dybjer, Qiao Haiyan, Makoto Takeyama. 272-279 [doi]
- Modeling and Verifying a Lego Car Using Hybrid I/O AutomataAnsgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang. 280-289 [doi]
- Verifying CIM Models of Apache Web-Server ConfigurationsCarsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski. 290-297 [doi]
- Formal Methods applied to Plywood ProductionRosziati Ibrahim, Marlene Lu. 298 [doi]
- Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process AssessmentHyung-Min Park, Ho-Won Jung. 308-314 [doi]
- Status Report: Practical Software MeasurementDavid N. Card, Cheryl L. Jones. 315-320 [doi]
- Industrial Strength Software and Quality: Software and Engineering at SiemensReinhold Achatz, Frances Paulisch. 321-326 [doi]
- An Experience on using the Team Software Process for Implementing the Capability Maturity Model for Software in a Small OrganizationMiguel A. Serrano, Carlos Montes de Oca, Karina Cedillo. 327 [doi]
- MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3Winfried Dulz, Fenhua Zhen. 336-342 [doi]
- Deriving Software Statistical Testing Model from UML ModelYan Jiong, Ji Wang, Huowang Chen. 343-350 [doi]
- Testability Analysis Applied to Embedded Data-flow SoftwareNguyen Thanh Binh, Michel Delaunay, Chantal Robach. 351 [doi]
- Visualization Techniques of Management Rules for Software Development ProjectsJacinto Mata Vázquez, José Luis Álvarez Macías, José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano. 360-367 [doi]
- Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface SpecificationsZhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma. 368-373 [doi]
- Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS systemYunshan Ge. 374 [doi]
- CALDEA: A Data Quality Model Based on Maturity LevelsIsmael Caballero, Mario Piattini. 380-387 [doi]
- Experiences in the Inspection Process Characterization TechniquesViswanathan Narayana, Rajashekara Swamy. 388-395 [doi]
- Diversifying and Improving Business Process Management Systems by Service Cooperation MiddlewareShaohua Liu, Jun Wei, Wei Xu. 396 [doi]
- Constructing a Reproducible Testing Environment for Distributed Java ApplicationsJessica Chen, Kun Wang. 402-409 [doi]
- Scenario-based Object-Oriented Testing FrameworkWei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul. 410 [doi]