On a political pamphlet from the middle ages

Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)

Parallel programs: proofs, principles, and practice

Communications of the ACM

Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering

IEEE Annals of the History of Computing

Dynamic adaptive search based software engineering

Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement

Cloud engineering is Search Based Software Engineering too

Journal of Systems and Software