Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Neural Data Mining for Credit Card Fraud Detection
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Application-level prediction of battery dissipation
Proceedings of the 2004 international symposium on Low power electronics and design
MicroGP—An Evolutionary Assembly Program Generator
Genetic Programming and Evolvable Machines
Automatic Test Programs Generation Driven by Internal Performance Counters
MTV '04 Proceedings of the Fifth International Workshop on Microprocessor Test and Verification
Efficient techniques for automatic verification-oriented test set optimization
International Journal of Parallel Programming
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis
Automatic detection of software defects: an industrial experience
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
An evolutionary methodology for test generation for peripheral cores via dynamic FSM extraction
Evo'08 Proceedings of the 2008 conference on Applications of evolutionary computing
Evolutionary Optimization: the GP toolkit
Evolutionary Optimization: the GP toolkit
Evolving assembly programs: how games help microprocessor validation
IEEE Transactions on Evolutionary Computation
Automatic test vector cultivation for sequential VLSI circuits using genetic algorithms
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A Survey of Automated Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Bayesian network structure learning from limited datasets through graph evolution
EuroGP'12 Proceedings of the 15th European conference on Genetic Programming
An evolutionary framework for routing protocol analysis in wireless sensor networks
EvoApplications'13 Proceedings of the 16th European conference on Applications of Evolutionary Computation
| Hi-index | 0.00 |
The complexity of cell phones is continually increasing, with regards to both hardware and software parts. As many complex devices, their components are usually designed and verified separately by specialized teams of engineers and programmers. However, even if each isolated part is working flawlessly, it often happens that bugs in one software application arise due to the interaction with other modules. Those software misbehaviors become particularly critical when they affect the residual battery life, causing power dissipation. An automatic approach to detect power-affecting software defects is proposed. The approach is intended to be part of a qualifying verification plan and complete human expertise. Motorola, always at the forefront of researching innovations in the product development chain, experimented the approach on a mobile phone prototype during a partnership with Politecnico di Torino. Software errors unrevealed by all human-designed tests have been detected by the proposed framework, two out of three critical from the power consumption point of view, thus enabling Motorola to further improve its verification plans. Details of the tests and experimental results are presented.