Assertions to Better Specify the Amazon Bug
Web アプリケーションでブラウザの Back ボタンで戻って submit すると画面に見えてるのと実際に送信されるデータが異なる可能性があるからどうにかしたいよね、という論文。ちょっと古いから今もそのまま当てはまるかは不明。論文で書かれてるのは、設計レベルで assert として表示と裏で送るのが同じであることを記述しましょう、ということだけ。実装の話は何もないけど難しいのはむしろ実装だろうと思う。
author="L. Baresi and G. Denaro and L. Mainetti and P. Paolini",
title="{Assertions to Better Specify the Amazon Bug}",
booktitle="SEKE'02",
publisher="ACM Press",
pages="585--592",
year="2002"