| 10.1142/9789812384720_0005 | | | | 1997 |
| Fundamental Approaches to Software Engineering | | | | 2017 |
| Learning probabilistic models for model checking: an evolutionary approach and an empirical study | International Journal on Software Tools for Technology Transfer |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 1 | 2018 |
| Automated workarounds from Java program specifications based on SAT solving | International Journal on Software Tools for Technology Transfer |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 1 | 2018 |
| Automated reasoning for attributed graph properties | International Journal on Software Tools for Technology Transfer |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 13 | 2018 |