Search results

Create the page "Software testing" on this wiki! See also the search results found.

• SEKE 2008
  |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering
  6 KB (733 words) - 12:48, 27 October 2016
• IWSSE 2008
  | Title = The Second IEEE International Workshop on Security in Software Engineering ...nd adaptive engineering approaches to ensure software security and protect software systems poses major challenges to both industrial practitioners and researc
  5 KB (615 words) - 09:55, 29 May 2016
• WOSP 2008
  | Title = Workshop on Software and Performance | Field = Software engineering
  4 KB (449 words) - 23:18, 14 October 2008
• ADCSS 2008
  | Title = 2008 ESA Workshop on Avionics Data, Control and Software Systems ESA Workshop on Avionics Data, Control and Software Systems (ADCSS)
  18 KB (2,714 words) - 23:23, 14 October 2008
• SSIRI 2008
  ...oncepts and experiences throughout the entire product development cycle in software, hardware, and systems are encouraged. The conference will bridge theory, a # Reliability, availability and safety of software systems
  3 KB (337 words) - 23:20, 14 October 2008
• VLSI-DAT 2009
  * Embedded systems and software * Hardware-software co-design
  2 KB (282 words) - 23:21, 14 October 2008
• SAECSIS 2009
  | Title = Workshop on Semantic Approaches for Engineering Complex Software-Intensive Systems | Field = Software engineering
  6 KB (778 words) - 23:22, 14 October 2008
• CORCS 2008
  * models for software components and component interaction: component software: model-checking, abstraction,
  2 KB (254 words) - 23:22, 14 October 2008
• ICONS 2009
  ...rom theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learnt. ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
  11 KB (1,492 words) - 23:26, 14 October 2008
• ICONS 2008
  ...rom theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learnt. ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
  6 KB (765 words) - 23:26, 14 October 2008
• EDCC 2008
  ...ystems. All kinds of faults are of interest, from traditional hardware and software faults to accidental and malicious human interactions. * Hardware and software testing, verification, and validation.
  4 KB (528 words) - 23:27, 14 October 2008
• EManufacturing 2008
  ...ds of integrated circuit manufacturers, semiconductor equipment suppliers, software suppliers, sensors and metrology suppliers. Major issues and experiences on # Design for Manufacturing/Testing/Yield
  5 KB (608 words) - 23:29, 14 October 2008
• ESWEEK 2008
  Hardware/Software Codesign and System Synthesis International Conference on Embedded Software
  11 KB (1,352 words) - 00:33, 15 October 2008
• LCTES 2008
  o Hardware, system software, and application, and their interface o Validation and verification, system integration and testing
  5 KB (673 words) - 23:30, 14 October 2008
• MEMOCODE 2008
  practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many
  4 KB (526 words) - 23:30, 14 October 2008
• APRES 2008
  hardware/software defects, resource changes, and non-continual feature... capturing, methodologies, modeling, analysis, testing, and
  7 KB (851 words) - 23:30, 14 October 2008
• ISORC 2008
  ...h integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for ORC, QoS m
  3 KB (377 words) - 23:31, 14 October 2008
• ESOP 2009
  ...orum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2009 is the 12th joint conference in this series. ...l semantics, operational semantics, program verification, static analysis, testing, language-based security.
  6 KB (824 words) - 23:32, 14 October 2008
• ISSTA 2020
  |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
  2 KB (216 words) - 09:31, 16 July 2020
• CAV 2020
  * Program analysis and software verification * Software synthesis
  2 KB (291 words) - 11:09, 20 November 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)