|Title=Computer Aided Verification
|Field=Software engineering
...
93 bytes (11 words) - 15:52, 30 September 2016
|Title=International Conference on Software Testing, Verification and Validation
...
133 bytes (17 words) - 19:54, 26 February 2020
|Title=International Conference on Computer Aided Verification
* Algorithms and tools that combine verification and learning
...
2 KB (291 words) - 09:09, 20 November 2020
| Title = 4th International Workshop on Systems Software Verification
Industrial-strength software analysis and verification has advanced in
...
2 KB (255 words) - 11:00, 18 January 2009
...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of
* Verification of system-level languages
...
4 KB (456 words) - 21:30, 14 October 2008
|Title=FSEN 2017 : Fundamentals of Software Engineering
|Field=system verification, software engineering, formal methods, software testing
...
418 bytes (51 words) - 14:21, 8 July 2016
| Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing
| Field = Software engineering
...
1 KB (190 words) - 20:09, 27 February 2009
...shop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
...oftware testing, verification and validation, extra-functional properties, software quality
...
509 bytes (61 words) - 11:48, 25 September 2016
|Title=International Conference on Software Testing, Verification and Validation
...
228 bytes (26 words) - 15:00, 27 February 2020
|Field=software testing, industry collaboration, verification and validation, software quality
...
484 bytes (58 words) - 13:35, 27 August 2016
...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
...tware under an open source model, trusting that our users will license the software that they use. The tool set is distributed with all source code, making it
...
2 KB (210 words) - 10:17, 7 April 2016
| Title = International Workshop on Software Engineering Processes and Applications
| Field = Software engineering
...
2 KB (284 words) - 20:10, 27 February 2009
|Title=Annual International Conference on Software Engineering & Applications
Annual International Conference on Software Engineering & Applications (SEA 2011)
...
2 KB (293 words) - 08:35, 24 June 2011
| Title = Uncovering Plagiarism, Authorship, and Social Software Misuse
*PAN-08 - Uncovering Plagiarism, Authorship, and Social Software Misuse*
...
5 KB (587 words) - 21:19, 14 October 2008
|Title=Verified Software: Theories, Tools, and Experiments 2008
|Field=Software Verification
...
5 KB (686 words) - 10:27, 12 September 2008
|Field=software verification, eiffel, autoproof, boogie
...
387 bytes (46 words) - 08:47, 11 September 2016
|Field=Software engineering
* specification and verification techniques;
...
2 KB (293 words) - 12:54, 3 August 2020
| Title = SPIN Workshop on Model Checking of Software
...to encourage interactions and exchanges of ideas with all related areas in software engineering. For more information see the call for papers.
...
2 KB (238 words) - 14:34, 27 February 2009
|Title=2021 Asia Workshop on Software Engineering
...sed Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc.
...
1 KB (163 words) - 07:08, 26 March 2021
* Embedded systems and software
* Hardware-software co-design
...
2 KB (282 words) - 21:21, 14 October 2008