The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Quality Software (qsic)
2003 (conf/qsic/2003)

  1. Bhavani M. Thuraisingham
    Data Mining and Cyber Security. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:2-0 [Conf]
  2. Tsong Yueh Chen, F. C. (Diana) Kuo, Robert G. Merkel, Sebastian P. Ng
    Mirror Adaptive Random Testing. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:4-11 [Conf]
  3. Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng
    Incremental Testing for Self-Evolving Timed Systems. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:12-19 [Conf]
  4. Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa
    Random Program Generator for Java JIT Compiler Test System. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:20-0 [Conf]
  5. Shereef Abu Al-Maati, Kamel Rekab
    Dynamic Test Allocation Model for Software Reliability. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:26-31 [Conf]
  6. Kai-Yuan Cai, Yong-Chao Li, Ke Liu
    How to Test Software for Optimal Software Reliability Assessment. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:32-39 [Conf]
  7. Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen
    Empirical Case Studies of Combining Software Quality Classification Models. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:40-0 [Conf]
  8. Bernard Wong
    A Study of the Metrics applied to the Software Evaluation Framework 'SEF'. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:52-58 [Conf]
  9. Jennifer Pérez, Isidro Ramos, Javier Jaén Martínez, Patricio Letelier, Elena Navarro
    PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:59-66 [Conf]
  10. Girish Seshagiri, S. Priya
    Walking the Talk Building Quality into the Software Quality Management Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:67-0 [Conf]
  11. Christine Cheng, Adrian Dumitrescu, Patrick J. Schroeder
    Generating Small Combinatorial Test Suites to Cover Input-Output Relationships. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:76-82 [Conf]
  12. Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan 0002
    Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:83-90 [Conf]
  13. Hong Zhu
    A Note on Test Oracles and Semantics of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:91-0 [Conf]
  14. Sirin Bekbay, Shaoying Liu
    A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:100-107 [Conf]
  15. Daniel Amyot, XiangYang He, Yong He, Dae Yong Cho
    Generating Scenarios from Use Case Map Specifications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:108-115 [Conf]
  16. Kazutaka Maruyama, Minoru Terada
    Debugging with Reverse Watchpoint. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:116-0 [Conf]
  17. Xishi Huang, Luiz Fernando Capretz, Jing Ren, Danny Ho
    A Neuro-Fuzzy Model for Software Cost Estimation. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:126-133 [Conf]
  18. Magne Jørgensen, Kjetil Moløkken
    A Preliminary Checklist for Software Cost Management. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:134-140 [Conf]
  19. Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang
    Software Cost Estimation through Conceptual Requirement. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:141-0 [Conf]
  20. Sami Beydeda, Volker Gruhn
    State of the art in testing components. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:146-153 [Conf]
  21. Mass Soldal Lund
    Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:154-160 [Conf]
  22. WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng
    Asynchronous Communication For Complicated E-Commerce Applications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:161-0 [Conf]
  23. Matthias Book, Volker Gruhn
    A Dialog Control Framework for Hypertext-Based Applications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:170-177 [Conf]
  24. Wen-Kui Chang, Shing-Kai Hon, William C. Chu
    A Systematic Framework for Evaluating Hyperlink Validity in Web Environments. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:178-185 [Conf]
  25. Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
    Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:186-0 [Conf]
  26. Mahmood Niazi, David Wilson, Didar Zowghi
    A model for the implementation of software process improvement: A pilot study. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:196-203 [Conf]
  27. Xie Yongyi, Zhang Weishi
    Component-Based Workflow Architecture of a Distributed Software Process Management System. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:204-210 [Conf]
  28. Pat Allen, Muthu Ramachandran, Hisham Abushama
    PRISMS: an Approach to Software Process Improvement for Small to Medium Enterprises. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:211-0 [Conf]
  29. Joseph A. Goguen, Kai Lin
    Behavioral Verification of Distributed Concurrent Systems with BOBJ. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:216-0 [Conf]
  30. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  31. Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki
    Combining Behavior and Data Modeling in Automated Test Case Generation. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:247-254 [Conf]
  32. Ruilian Zhao, Michael R. Lyu
    Character String Predicate Based Automatic Software Test Data Generation. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:255-262 [Conf]
  33. Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen
    Using the Incremental Approach to Generate Test Sets: A Case Study. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:263-0 [Conf]
  34. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    Verifying Haskell Programs by Combining Testing and Proving. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:272-279 [Conf]
  35. Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang
    Modeling and Verifying a Lego Car Using Hybrid I/O Automata. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:280-289 [Conf]
  36. Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski
    Verifying CIM Models of Apache Web-Server Configurations. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:290-297 [Conf]
  37. Rosziati Ibrahim, Marlene Lu
    Formal Methods applied to Plywood Production. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:298-0 [Conf]
  38. Hyung-Min Park, Ho-Won Jung
    Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:308-314 [Conf]
  39. David N. Card, Cheryl L. Jones
    Status Report: Practical Software Measurement. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:315-320 [Conf]
  40. Reinhold Achatz, Frances Paulisch
    Industrial Strength Software and Quality: Software and Engineering at Siemens. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:321-326 [Conf]
  41. 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. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:327-0 [Conf]
  42. Winfried Dulz, Fenhua Zhen
    MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:336-342 [Conf]
  43. Yan Jiong, Ji Wang, Huowang Chen
    Deriving Software Statistical Testing Model from UML Model. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:343-350 [Conf]
  44. Nguyen Thanh Binh, Michel Delaunay, Chantal Robach
    Testability Analysis Applied to Embedded Data-flow Software. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:351-0 [Conf]
  45. Jacinto Mata Vázquez, José Luis Álvarez Macías, José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano
    Visualization Techniques of Management Rules for Software Development Projects. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:360-367 [Conf]
  46. Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma
    Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:368-373 [Conf]
  47. Yunshan Ge
    Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:374-0 [Conf]
  48. Ismael Caballero, Mario Piattini
    CALDEA: A Data Quality Model Based on Maturity Levels. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:380-387 [Conf]
  49. Viswanathan Narayana, Rajashekara Swamy
    Experiences in the Inspection Process Characterization Techniques. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:388-395 [Conf]
  50. Shaohua Liu, Jun Wei, Wei Xu
    Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:396-0 [Conf]
  51. Jessica Chen, Kun Wang
    Constructing a Reproducible Testing Environment for Distributed Java Applications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:402-409 [Conf]
  52. Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul
    Scenario-based Object-Oriented Testing Framework. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:410-0 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002