25 citations · 290 across the 54 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2010★ 17 cited
Searching publications on software testing
C. A. Middelburg
This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testin…
cs.SE2007
Machine structure oriented control code logic
J. A. Bergstra, C. A. Middelburg
Control code is a concept that is closely related to a frequently occurring practitioner's view on what is a program: code that is capable of controlling the behaviour of some mach…