Detecting Double Faults on Term and Literal in Boolean Expressions (English)
- New search for: Lau, M. F.
- New search for: Liu, Y.
- New search for: Yu, Y. T.
- New search for: Lau, M. F.
- New search for: Liu, Y.
- New search for: Yu, Y. T.
In:
Seventh International Conference on Quality Software (QSIC 2007)
;
117-126
;
2007
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Detecting Double Faults on Term and Literal in Boolean Expressions
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2007-10-01
-
Size:225948 byte
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Software Quality: Past, Present, and FutureKothari, Suraj C. et al. | 2007
- 2
-
Proposition for E-DoD: An Overall Plan for Network-Centric OperationPaul, Raymond A. et al. | 2007
- 3
-
Semantic Computing and Quality SoftwareSheu, Phillip C.-Y. et al. | 2007
- 4
-
Developing Adaptive Software with Multiple QoS RequirementsYau, Stephen S. et al. | 2007
- 5
-
Testing Non-Functional Requirements with Aspects: An Industrial Case StudyMetsa, Jani / Katara, Mika / Mikkonen, Tommi et al. | 2007
- 15
-
Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case CostsZhang, Xiaofang / Nie, Changhai / Xu, Baowen / Qu, Bo et al. | 2007
- 25
-
Improving Model-Checkers for Software TestingFraser, Gordon / Wotawa, Franz et al. | 2007
- 32
-
Test-Driven Component Integration with UML 2.0 Testing and Monitoring ProfileLiang, Donglin / Xu, Kai et al. | 2007
- 40
-
A QoS-Enabled WorkManager Model for Web Application ServersWang, Wei / Zhang, Wenbo / Wei, Jun / Huang, Tao et al. | 2007
- 50
-
Towards Automatic Measurement of Probabilistic ProcessesSong, Lin / Deng, Yuxin / Cai, Xiaojuan et al. | 2007
- 60
-
A Pattern-Based Constraint Description Approach for Web ServicesWang, Qianxiang / Li, Min / Meng, Na / Liu, Yonggang / Mei, Hong et al. | 2007
- 70
-
Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation CriteriaItoga, Hiroya / Ohnishi, Atsushi et al. | 2007
- 80
-
Model Checking Security Pattern CompositionsDong, Jing / Peng, Tu / Zhao, Yajing et al. | 2007
- 90
-
Real-Time Component Composition Using Hierarchical Timed AutomataJin, Xianli / Ma, Huadong / Gu, Zonghua et al. | 2007
- 100
-
A Model-Driven Approach for Dependable Software SystemsJiang, Michael / Yang, Zhihui et al. | 2007
- 107
-
Nondeterministic Testing with Linear Model-Checker CounterexamplesFraser, Gordon / Wotawa, Franz et al. | 2007
- 117
-
Detecting Double Faults on Term and Literal in Boolean ExpressionsLau, M. F. / Liu, Y. / Yu, Y. T. et al. | 2007
- 127
-
Alternative beta-sequencesDuan, Lihua / Chen, J. et al. | 2007
- 127
-
Alternative B-SequencesDuan, Lihua / Chen, Jessica et al. | 2007
- 137
-
A Resource Scheduling Design Method with Model Checking for Distributed Embedded SoftwareWatanabe, Masahiko / Fukuda, Akira / Matsumoto, Michihiro / Yatsu, Hirokazu / Hosotani, Ichiro / Kido, Shigeyuki et al. | 2007
- 143
-
OPTIMA: An Ontology-Based PlaTform-specIfic software Migration ApproachZhou, Hong / Kang, Jian / Chen, Feng / Yang, Hongji et al. | 2007
- 153
-
A Certified Infinite Norm for the Implementation of Elementary FunctionsChevillard, Sylvain / Lauter, Christoph et al. | 2007
- 161
-
A Reinforcement-Learning Approach to Failure-Detection SchedulingZeng, Fancong et al. | 2007
- 171
-
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution EnvironmentGharaibeh, Bashar / Nguyen, Tien N. / Chang, J. Morris et al. | 2007
- 181
-
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization TechniquesZhang, Zhenyu / Chan, W. K. / Tse, T. H. et al. | 2007
- 191
-
Metrics and Evolution in Open Source SoftwareLee, Young / Yang, Jeong / Chang, Kai H. et al. | 2007
- 198
-
Failure Analysis of Open Source J2EE Application ServersLi, Junguo / Huang, Gang / Zou, Jian / Mei, Hong et al. | 2007
- 209
-
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text ClassifierHussain, Ishrar / Ormandjieva, Olga / Kosseim, Leila et al. | 2007
- 219
-
Quality Assurance in Web Information Systems DevelopmentSchewe, Klaus-Dieter / Zhao, Jane / Thalheim, Bernhard et al. | 2007
- 225
-
AOP Based Trustable SLA Compliance Monitoring for Web ServicesChen, Congwu / Li, Lei / Wei, Jun et al. | 2007
- 231
-
A Multivariate Analysis of Static Code Attributes for Defect PredictionTurhan, Burak / Bener, Ayse et al. | 2007
- 238
-
Refinement of a Tool to Assess the Data Quality in Web PortalsCaro, Angelica / Calero, Coral / de Salamanca, Juan Enriquez / Piattini, Mario et al. | 2007
- 244
-
Formal Embedded Operating System Model Based on Resource-Based Design FrameworkKim, Jin-Hyun / Sim, Jae-Hwan / Kim, Chang-Jin / Choi, Jin-Young et al. | 2007
- 250
-
Systematic Development of Quality Aware Decentralised Service-Oriented SystemsChan, Lipo / Karunasekera, Shanika et al. | 2007
- 256
-
An Automated Approach to System Testing Based on Scenarios and Operations ContractsRaza, Najla / Nadeem, Aamer / Z. Iqbal, Muhammad Zohaib et al. | 2007
- 262
-
Architectural Test Coverage for Component-Based Integration TestingHashim, Nor Laily / Ramakrishnan, Sita / Schmidt, Heinz W. et al. | 2007
- 268
-
An Approach to Integration Testing of Object-Oriented ProgramsLi, Zhe / Maibaum, Tom et al. | 2007
- 274
-
Distribution Metric Driven Adaptive Random TestingChen, Tsong Yueh / Kuo, Fei-Ching / Liu, Huai et al. | 2007
- 280
-
Uniform Selection of Feasible Paths as a Stochastic Constraint ProblemPetit, Matthieu / Gotlieb, Arnaud et al. | 2007
- 286
-
White Box Pairwise Test Case GenerationKim, Jangbok / Choi, Kyunghee / Hoffman, Daniel M. / Jung, Gihyun et al. | 2007
- 292
-
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path AnalysisDong, Guowei / Nie, Changhai / Xu, Baowen / Wang, Lulu et al. | 2007
- 298
-
Towards a Software Component Certification FrameworkAlvaro, Alexandre / de Almeida, Eduardo Santana / Meira, Silvio Lemos et al. | 2007
- 304
-
Reduction of Complexity and Automation of Parallel Execution through Loop Level ParallelismTefft, Robert A. / Lee, Roger Y. et al. | 2007
- 309
-
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component RetrievalPeng, Xin / Zhao, Wenyun et al. | 2007
- 316
-
Trustworthiness Evaluation and Testing of Open Source ComponentsImmonen, Anne / Palviainen, Marko et al. | 2007
- 322
-
Testability and Test Framework for Collaborative Real-Time Editing ToolsYu, Lian / Xu, Lifeng / Wang, Guanzhu / Chi, Changyan / Xiao, Wenping / Su, Hui et al. | 2007
- 328
-
Cohesion Metrics for Predicting Maintainability of Service-Oriented SoftwarePerepletchikov, Mikhail / Ryan, Caspar / Frampton, Keith et al. | 2007
- 336
-
On the Collaborative Development of Para-Consistent Conceptual ModelsBagheri, Ebrahim / Ghorbani, Ali A. et al. | 2007
- 342
-
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and ChecklistsFurulund, Kristian Marius / Molkken-stvold, Kjetil et al. | 2007
- 348
-
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOLYahyaoui, Hamdi / Debbabi, Mourad / Tawbi, Nadia et al. | 2007
- 356
-
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based ApproachMokhati, Farid / Gagnon, Patrice / Badri, Mourad et al. | 2007
- 363
-
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power GridSun, Yan / McMillin, Bruce / Liu, Xiaoqing / Cape, David et al. | 2007
- 370
-
Message of the Program Chairs of STEV'07Mayer, Johannes / Beydeda, Sami et al. | 2007
- 372
-
Learning Effective Oracle Comparator Combinations for Web ApplicationsSprenkle, Sara / Hill, Emily / Pollock, Lori et al. | 2007
- 380
-
Testing against Natural Language RequirementsSneed, Harry M. et al. | 2007
- 388
-
Test-Based Specifications of Components and SystemsHamlet, Dick et al. | 2007
- 396
-
A Scriptable, Statistical Oracle for a Metadata Extraction SystemMaly, Kurt J. / Zeil, Steven J. / Zubair, Mohammad / Amrou, Ashraf / Aazhar, Ali / Ratkal, Naveen et al. | 2007
- 404
-
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic TestingGuderlei, Ralph / Mayer, Johannes et al. | 2007
- 410
-
Abstraction in Assertion-Based Test OraclesCheon, Yoonsik et al. | 2007
- 415
-
The Oracle Problem for Testing against Quantified PropertiesMachado, Patricia D. L. / Andrade, Wilkerson L. et al. | 2007
- 419
-
Author index| 2007
- c1
-
Seventh International Conference on Quality Software - Cover| 2007
- i
-
Seventh International Conference on Quality Software - Title| 2007
- iv
-
Seventh International Conference on Quality Software - Copyright| 2007
- v
-
Seventh International Conference on Quality Software - Table of Contents| 2007
- x
-
Welcome Message from the General Chair| 2007
- xiv
-
Message from the Program Co-Chairs| 2007
- xix
-
Keynote Speeches| 2007
- xv
-
QSIC 2007 Conference Committees| 2007
- xviii
-
Additional Reviewers| 2007
- xxi
-
Distinguished Plenary Panel| 2007
- xxii
-
First International Workshop on Software Test Evaluation (STEV 2007) Committees| 2007