Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation
Software Quality Control
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Analysis of software test item generation: comparison between high skilled and low skilled engineers
Journal of Computer Science and Technology
An interface test model for hardware-dependent software and embedded OS API of the embedded system
Computer Standards & Interfaces
Journal of Integrated Design & Process Science
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
TEST: an effective automation tool for testing embedded software
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
An Embedded Software Testing Tool Supporting Multi-paradigm Views
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Using status messages in the distributed test architecture
Information and Software Technology
A test improvement model for embedded software testing
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
A XML script-based testing tool for embedded softwares
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Information and Software Technology
Field test methods for a co-operative integrated traffic management system
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
A performance profile and test tool for development of embedded software using various report views
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Proceedings of the 2012 International Symposium on Software Testing and Analysis
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Integrated software development for embedded robotic systems
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Automatic transformation of abstract AUTOSAR architectures to timed automata
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Hi-index | 0.00 |