Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
スポンサーリンク
概要
- 論文の詳細を見る
- 2008-04-01
著者
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
MIZUNO Osamu
Graduate School of Information Science and Technology, Osaka University
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
-
Mizuno Osamu
Graduate School Of Electrical And Electronics Engineering Kogakuin University:kogakuin University
-
Mizuno Osamu
Graduate School Of Information Science And Technology Osaka University
-
Mizuno Osamu
Graduate School of Electrical and Electronic Engineering Kogakuin University:Department of Information and Communications Engineering Kogakuin University
関連論文
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
- Probabilistic Model Checking of the One-Dimensional Ising Model
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- New Constructions for Nondominated k-Coteries
- New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability(Special Section on Concurrent Systems Technology)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- BS-4-42 Proposed Hot Swap System Wireless Interface and Its Implementation(BS-4. Network Design, Management and Control for Future Networked Systems)
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- BS-5-43 Proposed End-to-End Available Bandwidth Estimation Method Using RTT Taking into Account Traffic Load in Return Path(BS-5. Network and Service Design, Control and Management)
- BS-5-21 A New Application Level Link Aggregation on Android Terminals and Its scalability Evaluation(BS-5. Network and Service Design, Control and Management)