Abstract:It is conventional to start research papers on software engineering, particularly on testing and software quality, with a statement of how important software has become in the world, and the potential dangers of using it when those who construct it really don't know what they are doing. The author then goes on to show that his or her theory/method/insights/tools will make the world safe (or safer, if the author is modest) by providing the understanding that is lacking. ISSTA authors (I among them) have started many of their papers in just this way, but speaking for myself, these statements are window dressing --- they disguise my real concern. Long before software was any part of the workaday world, before there was any "software problem" or even much software, I was interested in program analysis because programs are arguably the most intriguing mathematical objects people create. I have happily pursued the study of programs for over 30 years.I wrote my first program (in ALGOL 58) in 1962 --- it failed to properly calculate a table of values of the error integral, being somewhat off in the third significant figure. (I remember the failure, and the debugging, poring over a decimal memory dump. But I can't recall the fault.) It took me until the mid-1960s to recognize that programs per se were much more interesting than their applications: I stumbled on Maurice Halstead's book [4] on self-compiling NELIAC compilers. Here was magical stuff: the master program defining a language, and itself written in that language! In my application to the University of Washington, I explained that I wanted to study computers "for themselves, not as they are used." Paul Klee, the topologist who was saddled with the task of replying to mathematics grad students that year, wrote back to assure me that "we've got a computer around here somewhere, and by the time you arrive I'm sure I can locate it." It was an IBM 7090, complete with IBSYS and FORTRAN, and who could have asked for software more in need of analysis?There were standards of respectability for a PhD dissertation even in those days, so I took up recursive function theory and the program-equivalence problem. Its application to testing is that we would like to know if the program under test differs from its functional specification --- that is, can it fail? Any understanding of programs through testing (a mechanical process) must come up against the program-equivalence problem: we cannot hope to gain full understanding, because to do so would be to solve the unsolvable problem. My dissertation was an exploration of the additional information (beyond the purely functional) needed to make the program-equivalence problem solvable [5]. What brought me to the first ISSTA in 1978 was Bill Howden's 1976 paper "Reliability of the path analysis strategy" [6].

[Total Arch Replacement with Open Stent Grafting for Chronic Dissecting Aortic Aneurysm with Aberrant Right Subclavian Artery:Report of a Case]

Open triple-branched stent graft applied to patient of acute type a aortic dissection with Aberrant Right Subclavian Artery

Deployment of Endograft in the Ascending Aorta to Reverse Type A Aortic Dissection.

Repair of Acute Type A Aortic Dissections Using Open Replacement with Triple-Branched Stent Grafts

Total arch replacement with frozen elephant trunk technique for Kommerell’s diverticulum with a right-sided aortic arch and aberrant left subclavian artery

Endovascular Total Arch Repair Using In Situ Fenestration for Arch Aneurysm and Chronic Type A Dissection

Treatment Strategy of Aortic Arch for Type A Acute Dissection

"Hybrid" Approach for the Treatment of Aortic Arch Aneurysm.

The Ribosome Cooperates with the Assembly Chaperone pICln to Initiate Formation of snRNPs.

Open Aortic Arch Reconstruction for Acute Type a Aortic Dissection: a Single-Center Experience with 267 Consecutive Patients

Non-A non-B acute aortic dissection with entry tear in the aortic arch

Novel Arch Fenestrated Stent Graft for Acute Stanford Type A Aortic Dissection with Open Antegrade Implantation.

Type A aortic dissection repair with a dissection stent in presence of aberrant subclavian artery

Morphology and Outcomes of Total Endovascular Treatment of Type B Aortic Dissection with Aberrant Right Subclavian Artery.

Open Triple-Branched Stent Graft Placement for the Surgical Treatment of Acute Aortic Arch Dissection

What can we learn by testing a program?

Fenestrated Stent for Arch Repair for Acute Stanford Type A Aortic Dissection – A Conservative Solution for Complex Condition

Surgical outcomes of total arch replacement with modified elephant trunk technique in type A aortic dissection: insights from single-center experience

Anterolateral thoracotomy with partial sternotomy: a feasible approach for the complex pathology of the aortic arch

Total Endovascular Repair of an Intraoperative Stent-Graft Deployed in the False Lumen of Stanford Type A Aortic Dissection: A Case Report

Extensive aortic replacement including aortic arch for a mega aorta with chronic aortic dissection via posterolateral thoracotomy