Assertion techniques for dynamic monitoring of linear list data structures | IEEE Conference Publication | IEEE Xplore