Abstract: An automated software testing technique is presented which spares us from having to stipulate our expectations in test...

Abstract: In this paper I put forth the proposition that contrary to popular belief, 100% code coverage can be a very advantageo...

What is the most important quality of software? Correctness, they say. And what is the second most important quality of software? R...

The term "dependency" is used very often in software engineering, but depending on context, it may mean slightly differ...

Abstract In technical design of software systems as conventionally practiced, call graphs often contain cycles. We show that cyc...

Abstract In this paper we examine the long-standing need within the Software Engineering Discipline for technical design docume...

I recently did this at work, and I decided to document the process here in the form of a how-to guide. Please note that I am not ...

I am giving this tool a try at work, and I am encountering a great many problems with it. I decided to publicly document my findi...

I recently did this at work, and I decided to document the process here in the form of a how-to guide. Please note that I am not ...

It has been more than a year since I created this question on GitHub Community; a couple of days after that I found the solution by myself, ...